@inproceedings{MotikaSvH14, author = {Christian Motika and Steven Smyth and Reinhard von Hanxleden}, title = {{Compiling SCCharts---A} Case-Study on Interactive Model-Based Compilation}, booktitle = {Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)}, year = {2014}, series = {LNCS}, pages = {461--480}, volume = {8802}, 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 = {isola14.pdf}, }