@article {1431,
	title = {Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach},
	journal = {Reliability Engineering and System Safety},
	volume = {120},
	year = {2013},
	month = {12/2013},
	pages = {112-126},
	chapter = {112},
	doi = {10.1016/j.ress.2013.06.032},
	url = {http://www.sciencedirect.com/science/article/pii/S095183201300197X},
	author = {S. Bernardi and Francesco Flammini and Stefano Marrone and Nicola Mazzocca and Jos{\'e} Merseguer and Roberto Nardone and Valeria Vittorini}
}

