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]
@article{BernardiFMMMNV13,
title = {Enabling the usage of UML in the verification of railway systems: The DAM-rail approach},
author = {Simona Bernardi and Francesco Flammini and Stefano Marrone and Nicola Mazzocca and José Merseguer and Roberto Nardone and Valeria Vittorini},
year = {2013},
doi = {10.1016/j.ress.2013.06.032},
url = {http://dx.doi.org/10.1016/j.ress.2013.06.032},
researchr = {https://researchr.org/publication/BernardiFMMMNV13},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {120},
pages = {112-126},
}