Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
Bernardi, S. ; Flammini, F. ; Marrone, S. ; Mazzocca, N. ; Merseguer, J. ; Nardone, R. ; Vittorini, V.
Reliability engineering & system safety, 2013-12, Vol.120, p.112-126 [Periódico revisado por pares]Elsevier Ltd
Texto completo disponível