Luca P. Carloni;Roberto Passerone;Alessandro Pinto
-;-;-
Translation of UML state machines to Modelica: Handling semantic issues
Simulation