{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:05:36Z","timestamp":1767650736866},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_163","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:16:04Z","timestamp":1330272964000},"page":"128-148","source":"Crossref","is-referenced-by-count":149,"title":["A comparison of Statecharts variants"],"prefix":"10.1007","author":[{"given":"Michael","family":"Beeck","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M. von der Beeck: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification, Proc. of ESEC '93, LNCS, vol. 717, Springer, pp. 313\u2013328, 1993","DOI":"10.1007\/3-540-57209-0_22"},{"issue":"no.9","key":"7_CR2","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, G. Berry: The Synchronous Approach to Reactive and Real-Time Systems, Proc. of the IEEE, vol. 79, no. 9, pp. 1270\u20131282, 1991","journal-title":"Proc. of the IEEE"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry: Preemption in Concurrent Systems, Proc. of FSTTCS 93, LNCS, vol. 761, Springer, pp. 72\u201393, 1993","DOI":"10.1007\/3-540-57529-4_44"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Gonthier: The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol. 19, pp. 87\u2013152, 1992","journal-title":"Science of Computer Programming"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh, R. Shyamasundar: Communicating Reactive Processes, Proc. of ACM Symp. on Principles of Programming Languages, Charleston, 1993","DOI":"10.1145\/158511.158526"},{"key":"7_CR6","series-title":"Lehrstuhl f\u00fcr Informatik II","volume-title":"Master Thesis","author":"A. Classen","year":"1993","unstructured":"A. Classen: Modulare Statecharts: Ein formaler Rahmen zur hierarchischen Proze\u0392spezifikation, Master Thesis, (in German), Lehrstuhl f\u00fcr Informatik II, Aachen University of Technology, Germany, 1993"},{"key":"7_CR7","volume-title":"Technical Report 93-35","author":"N. Day","year":"1993","unstructured":"N. Day: A Model Checker for Statecharts (Linking CASE tools with Formal Methods), Technical Report 93-35, University of British Columbia, Vancouver, Canada, 1993"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, pp. 231\u2013274, 1987","journal-title":"Science of Computer Programming"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"D. Harel, A. Pnueli: On the development of reactive systems, in: Logics and Models of Concurrent Systems, NATO ASI Series, vol. 13, ed. K. Apt, Springer, pp. 477\u2013498, 1985","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"7_CR10","unstructured":"D. Harel, A. Pnueli, J. Schmidt, R. Sherman: On the Formal Semantics of Statecharts, Proc. of 2nd IEEE Symp. on Logic in Computer Science, Ithaca, NY, pp. 54\u201364, 1987"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"C. Hoare: Communicating Sequential Processes, Prentice Hall, 1987","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. Hooman, S. Ramesh, W. de Roever: A compositional axiomatization of Statecharts, Theoretical Computer Science, vol. 101, no. 2, Elsevier, pp. 289\u2013335, 1992","DOI":"10.1016\/0304-3975(92)90053-I"},{"key":"7_CR13","volume-title":"Ph.D. thesis","author":"C. Huizing","year":"1991","unstructured":"C. Huizing: Semantics of Reactive Systems: Comparison and Full Abstraction, Ph.D. thesis, Technical University Eindhoven, The Netherlands, 1991"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth: Semantics of Reactive Systems in Abstract Time, LNCS, vol. 600, Springer, pp. 291\u2013314, 1992","DOI":"10.1007\/BFb0031997"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, W. P. de Roever: Modelling Statecharts behaviour in a fully abstract way, LNCS, vol. 299, Springer, pp. 271\u2013294, 1988","DOI":"10.1007\/BFb0026110"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli: Timed and Hybrid Statecharts and their Textual Representation, LNCS, vol. 571, Springer, pp. 591\u2013620, 1992","DOI":"10.1007\/3-540-55092-5_32"},{"key":"7_CR17","volume-title":"Technical Report 92-106","author":"N. Leveson","year":"1992","unstructured":"N. Leveson, M. Heimdahl, H. Hildreth, J. Reese: Requirements Specification for Process-Control Systems, Technical Report 92-106, University of California, USA, 1992"},{"key":"7_CR18","volume-title":"Semantics of Full Statecharts Based on Graph Rewriting","author":"A. Maggioli-Schettini","year":"1993","unstructured":"A. Maggioli-Schettini, A. Peron: Semantics of Full Statecharts Based on Graph Rewriting, Dipartimento di Informatica, Universita di Pisa, Italy, 1993"},{"key":"7_CR19","volume-title":"RT-C29","author":"F. Maraninchi","year":"1991","unstructured":"F. Maraninchi: Argos: a Graphical Synchronous Language for the Description of Reactive Systems, RT-C29, LGI-IMAG Grenoble, France, 1991"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"F. Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions, LNCS, vol. 630, CONCUR '92, Springer, pp. 550\u2013564, 1992","DOI":"10.1007\/BFb0084815"},{"key":"7_CR21","volume-title":"Technical Report, Spectre Report C34","author":"F. Maraninchi","year":"1992","unstructured":"F. Maraninchi: Languages for reactive systems: a common framework for comparing Statecharts and Argos, Technical Report, Spectre Report C34, LGI-IMAG, Grenoble, France, 1992"},{"key":"7_CR22","volume-title":"Technical Report TD-21\/93","author":"A. Peron","year":"1993","unstructured":"A. Peron: Synchronous and Asynchronous Models for Statecharts, Technical Report TD-21\/93, Dipartimento di Informatica, Universita di Pisa, Italy, 1993"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"A. Pnueli, M. Shalev: What is in a Step: On the Semantics of Statecharts, LNCS, vol. 526, Springer, pp. 244\u2013264, 1991","DOI":"10.1007\/3-540-54415-1_49"},{"key":"7_CR24","first-page":"19","volume-title":"Towards a Mathematical Semantics for Computer Languages","author":"D. Scott","year":"1971","unstructured":"D. Scott, C. Strachey: Towards a Mathematical Semantics for Computer Languages, Proc. of Symposium on Computers and Automata, (ed. J. Fox), Polytechnic Institute of Brooklyn Press, New York, USA, pp. 19\u201346, 1971"},{"key":"7_CR25","unstructured":"B. Steffen: Hierarchische Spezifikationen, GI\/ITG-Fachgespr\u00c4ch f\u00fcr Verteilte Systeme, Kiel, 1994"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_163.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:43Z","timestamp":1605648103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_163","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}