1. Greenyer, J., Gritzner, D., Harel, D., Marron, A.: Towards systematic and automatic handling of execution traces associated with scenario-based models. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 560–566 (2018)
2. Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19, 45–80 (2001)
3. Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003).
https://doi.org/10.1007/978-3-642-19029-2
4. Greenyer, J., et al.: Scenarios@run.time - distributed execution of specifications on IoT-connected robots. In: 10th International Workshop on Models@Run.Time (MRT), Co-located with MODELS 2015, CEUR Workshop Proceedings (2015)
5. Greenyer, J., Gritzner, D., Katz, G., Marron, A.: Scenario-based modeling and synthesis for reactive systems with dynamic system structure in scenariotools. In: Proceedings of the MoDELS 2016 Demo and Poster Sessions, Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS), CEUR (2016)