//-->
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
Louati, Aymen, (2016)
Modeling migration of mobile agents
Borhen, Marzougui, (2013)
Formal verification of UML2 timing diagrams based on Time Petri Nets