{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:40Z","timestamp":1725805600098},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_32","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"461-480","source":"Crossref","is-referenced-by-count":6,"title":["Compiling SCCharts \u2014 A Case-Study on Interactive Model-Based Compilation"],"prefix":"10.1007","author":[{"given":"Christian","family":"Motika","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Andr\u00e9, C.: Semantics of SyncCharts. Technical Report ISRN I3S\/RR\u20132003\u201324\u2013FR, I3S Laboratory, Sophia-Antipolis, France (April 2003)"},{"key":"32_CR2","first-page":"64","volume-title":"Proc. IEEE, Special Issue on Embedded Systems","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages twelve years later. In: Proc. IEEE, Special Issue on Embedded Systems, vol.\u00a091, pp. 64\u201383. IEEE, Piscataway (2003)"},{"issue":"2","key":"32_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/762488.762489","volume":"8","author":"S.A. Edwards","year":"2003","unstructured":"Edwards, S.A.: Tutorial: Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems\u00a08(2), 141\u2013187 (2003)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Fuhrmann, I., Broman, D., Smyth, S., von Hanxleden, R.: Towards interactive timing analysis for designing reactive systems. Technical Report UCB\/EECS-2014-26, EECS Department, University of California, Berkeley (April 2014)","DOI":"10.21236\/ADA605312"},{"issue":"3","key":"32_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"32_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"32_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"key":"32_CR8","unstructured":"Potop-Butucaru, D., Edwards, S.A., Berry, G.: Compiling Esterel. Springer (May 2007)"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Schneider, C., Sp\u00f6nemann, M., von Hanxleden, R.: Just model! \u2013 Putting automatic synthesis of node-link-diagrams into practice. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2013), San Jose, CA, USA, September 15-19, pp. 75\u201382 (2013)","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"32_CR10","unstructured":"Schneider, K.: The synchronous programming language Quartz. Internal report, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany (2010), \n                    \n                      http:\/\/es.cs.uni-kl.de\/publications\/datarsg\/Schn09.pdf"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of Statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O\u2019Brien, O.: SCCharts: Sequentially Constructive Statecharts for safety-critical applications. Technical Report 1311, Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science (December 2013) ISSN 2192-6247","DOI":"10.1145\/2594291.2594310"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O\u2019Brien, O.: SCCharts: Sequentially Constructive Statecharts for safety-critical applications. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), Edinburgh, UK, ACM (June 2014)","DOI":"10.1145\/2594291.2594310"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-34059-8_11","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"R. Hanxleden von","year":"2012","unstructured":"von Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 209\u2013223. Springer, Heidelberg (2012)"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Mendler, M., Aguado, J., Duderstadt, B., Fuhrmann, I., Motika, C., Mercer, S., O\u2019Brien, O.: Sequentially Constructive Concurrency\u2014A conservative extension of the synchronous model of computation. In: Proc. Design, Automation and Test in Europe Conference (DATE 2013), Grenoble, France, pp. 581\u2013586. IEEE (March 2013)","DOI":"10.7873\/DATE.2013.128"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:27:18Z","timestamp":1558988838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}