Enabling the usage of UML in the verification of railway systems: The DAM-rail approach | Publicación