BibTex Format for Publications
@inproceedings { GreGri2016d,
author = {Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron},
title = {Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools},
booktitle = {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)},
year = {2016},
volume = {1725},
pages = {16-23}
}