31 S. Bernardi Francesco Flammini Stefano Marrone Nicola Mazzocca José Merseguer Roberto Nardone Valeria Vittorini 9999 Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach Reliability Engineering and System Safety