Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS
FOR OBSERVER-BASED FORMAL VERIFICATION.
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031.
⟨hal-01326351⟩