1. Lecture Notes in Computer Science;A Salah,2004
2. Greenyer, J.: Scenario-based modeling and programming of distributed systems. In: M. Köhler-Bussmeier, E. Kindler, H. Rölke (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference), Vol. 2907 of CEUR Workshop Proceedings, CEUR-WS.org, pp. 241–252 (2021)
3. Somé, S., Dssouli, R., Vaucher, J.: From scenarios to timed automata: building specifications from users requirements. In: Proceedings of the Second Asia Pacific Software Engineering Conference, APSEC 1995, IEEE Computer Society, pp. 48–57 (1995)
4. Lecture Notes in Computer Science;P Chandrasekaran,2006
5. Lecture Notes in Computer Science;D Harel,2005