M. Adelantado;F. Boniol
ONERA-CERT/DERI, 2, Avenue Edouard Belin, 31055 Toulouse Cedex, France;ONERA-CERT/DERI, 2, Avenue Edouard Belin, 31055 Toulouse Cedex, France
Statecharts: A visual formalism for complex systems
Science of Computer Programming