. . . "Rom\u00E9o is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters.The tool has been developed by the Real-Time Systems group at IRCCyN lab (\u00C9cole centrale de Nantes, University of Nantes, CNRS) in Nantes, France."@en . . "2.9.0" . . "ROMEO"@en . . .