{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T13:11:02Z","timestamp":1683205862391},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T00:00:00Z","timestamp":1132012800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10270-005-0094-1","type":"journal-article","created":{"date-parts":[[2005,9,13]],"date-time":"2005-09-13T19:45:58Z","timestamp":1126640758000},"page":"13-25","source":"Crossref","is-referenced-by-count":0,"title":["Partitioning of perfect synchroneous reactive specifications to distributed processors using \u03bc-charts"],"prefix":"10.1007","volume":"5","author":[{"given":"Peter","family":"Scholz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,11,15]]},"reference":[{"key":"94_CR1","unstructured":"Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press (1998)"},{"key":"94_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00f8len, K.: Specification and development of interactive systems. Focus on Streams, Interfaces and Refinement. Monographs in Computer Science. Springer (2001)","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"94_CR3","doi-asserted-by":"crossref","unstructured":"David, A., M\u00f6ller, M.O., Yi. W.: Formal verifcation of uml statecharts with real-time extensions. In: Kutsche, R.-D., Weber, H.: (eds.) Proceedings of FASE, vol. LNCS 2306, pp. 218\u2013232. Springer (2002)","DOI":"10.1007\/3-540-45923-5_15"},{"key":"94_CR4","unstructured":"Edwards, S.A.: The Specification and Execution of Heterogeneous Synchronous Reactive Systems. PhD thesis, University of California at Berkeley (1997)"},{"key":"94_CR5","volume-title":"CAN Controller-Area-Network: Grundlagen, Protokolle, Bausteine, Anwendungen (in German)","author":"K. Etschberger","year":"1994","unstructured":"Etschberger, K.: CAN Controller-Area-Network: Grundlagen, Protokolle, Bausteine, Anwendungen (in German). Carl Hanser Verlag, M\u00fcnchen (1994)"},{"key":"94_CR6","doi-asserted-by":"crossref","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, 8:231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"94_CR7","doi-asserted-by":"crossref","unstructured":"Huizing, C., de Roever, W.-P.: Introduction to design choices in the semantics of statecharts. Information Processing Letters, 37: (1991)","DOI":"10.1016\/0020-0190(91)90190-S"},{"key":"94_CR8","doi-asserted-by":"crossref","unstructured":"Huizing, C., Gerth, R.: Semantics of Reactive Systems in Abstract Time. In de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.), Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, 291\u2013314, Mook\u2014The Netherlands, June (1991)","DOI":"10.1007\/BFb0031997"},{"key":"94_CR9","unstructured":"Klein, C.: Anforderungsspezifikation durch Transitionssysteme und Szenarien (in German). PhD thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1997)"},{"key":"94_CR10","doi-asserted-by":"crossref","unstructured":"Maraninchi, F., Halbwachs, N.: Compositional Semantics of Non-deterministic Synchronous Languages. In Riis, N. (eds.), Programming languanges and systems\u2014ESOP'96, 6th European Symposium on programming, volume 1058 of Lecture Notes in Computer Science. Springer-Verlag (1996)","DOI":"10.1007\/3-540-61055-3_40"},{"key":"94_CR11","doi-asserted-by":"crossref","unstructured":"Philipps, J., Scholz, P.: Formal Verification of Statecharts with Instantaneous Chain Reactions. In: TACAS'97: Tools and Algorithms for the Construction and Analysis of Systems, vol. 1217 of Lecture Notes in Computer Science. Springer-Verlag (1997)","DOI":"10.1007\/BFb0035391"},{"key":"94_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Shalev. M.: What is in a Step: On the Semantics of Statecharts. In Ito T., Meyer, A.R. (eds.), Proccedings of the \u201cTheoretical Aspects in Computer Software 91\u201d, vol. 526 of Lecture Notes in Computer Science, 244\u2013264. Springer-Verlag (1991)","DOI":"10.1007\/3-540-54415-1_49"},{"key":"94_CR13","volume-title":"Metric Study, vol. 6 of Springer Series in Computational Mathematics","author":"F. Robert","year":"1986","unstructured":"Robert, F., Discrete Iterations A.: Metric Study, vol. 6 of Springer Series in Computational Mathematics. Springer, Stuttgart (1986)"},{"key":"94_CR14","doi-asserted-by":"crossref","unstructured":"Scholz, P.: A Refinement Calculus for Statecharts. In Proccedings of the \u201cETAPS\/FASE'98, Lisbon (Portugal), March 30 - April 03, 1998\u201d, vol. 1382 of Lecture Notes in Computer Science. Springer (1998)","DOI":"10.1007\/BFb0053597"},{"key":"94_CR15","unstructured":"Scholz, P.: Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1998)"},{"key":"94_CR16","doi-asserted-by":"crossref","unstructured":"Scholz, P.: Incremental design of statechart specifications. In Science of Computer Programming, number 40, pp. 119\u2013145. Elsevier Science Publisher (2001)","DOI":"10.1016\/S0167-6423(00)00026-5"},{"key":"94_CR17","unstructured":"Scholz, P., Nazareth, D., Regensburger, F.: Mini-Statecharts: A Compositional Way to Model Parallel Systems. (1996.) 9th International Conference on Parallel and Distributed Computing Systems (PDCS'96), Dijon, France."},{"key":"94_CR18","doi-asserted-by":"crossref","unstructured":"von der Beeck, M.: A Comparison of Statecharts Variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.), Proc. Formal Techniques in Real\u2013Time and Fault\u2013Tolerant Systems (FTRTFT'94), vol 863 of Lecture Notes in Computer Science, pp. 128\u2013148. Springer (1994)","DOI":"10.1007\/3-540-58468-4_163"},{"key":"94_CR19","doi-asserted-by":"crossref","unstructured":"Andrzej, W.: Flattening statecharts without explosions. In Language, Compiler, and Tool Support for Embedded Systems Proceedings of the 2004 ACM SIGPLAN\/SIGBED conference on Languages, compilers, and tools, pp. 257\u2013266. ACM Press (2004)","DOI":"10.1145\/998300.997200"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0094-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0094-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0094-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T12:54:00Z","timestamp":1683204840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0094-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,15]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["94"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0094-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11,15]]}}}