Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.

Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron

Browse the full MODELS paper archive.