Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron. Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. In Juan de Lara, Peter J. Clarke, Mehrdad Sabetzadeh, editors, 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 2016), Saint-Malo, France, October 2-7, 2016. Volume 1725 of CEUR Workshop Proceedings, pages 16-23, CEUR-WS.org, 2016. [doi]
Abstract is missing.