1. Y. Bontemps (2002 ) Automated verification of state-based specifications against scenarios, Facultes Universitaires Notre-Dame de la Paix, Institut d'Informatique.
2. Y. Bontemps, and P. Heymans (2002 ) Turning high-level live sequence charts into automata, inScenarios and State-Machines: Models, Algorithms and Tools Workshop,24th International Conference on Software Engineering.