Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Rel. Eng. & Sys. Safety, 120:112-126, 2013. [doi]

Abstract

Abstract is missing.