@inproceedings{RybickiSMSvH16, author = {Francesca Rybicki and Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Reinhard von Hanxleden}, title = {Interactive Model-Based Compilation Continued -- Interactive Incremental Hardware Synthesis for {SCCharts}}, booktitle = {Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)}, year = {2016}, series = {LNCS}, pages = {150--170}, volume = {9953}, address = {Corfu, Greece}, month = {October}, doi = {10.1007/978-3-662-45234-9}, htmlnote = {The \href{http://dx.doi.org/10.1007/978-3-662-45234-9}{original publication} is available at \href{http://link.springer.com}{http://link.springer.com}.}, pdf = {isola16.pdf}, note = {}, }