{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:06:34Z","timestamp":1781651194203,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540638759","type":"print"},{"value":"9783540696582","type":"electronic"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63875-x_52","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T07:08:01Z","timestamp":1186470481000},"page":"181-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Hierarchical automata as model for statecharts"],"prefix":"10.1007","author":[{"given":"Erich","family":"Mikk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yassine","family":"Lakhnechi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Siegel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","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, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0020-0190(91)90190-S","volume":"37","author":"C. Huizing","year":"1991","unstructured":"C. Huizing and W.-P. de Roever. Introduction to design choices in the semantics of Statecharts. Information Processing Letters, 37:205\u2013213, February 1991.","journal-title":"Information Processing Letters"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J. Helbig and P. Kelb. An OBDD-Representation of Statecharts. In Proc. of the European Design and Test Conference EDAC'94, pages 142\u2013149, 1994.","DOI":"10.1109\/EDTC.1994.326884"},{"issue":"4","key":"15_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293\u2013333, Oct 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR5","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991."},{"issue":"5","key":"15_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. The Model Checker Spin. IEEE Trans. on Software Engineering, 23(5):279\u2013295, May 1997. Special issue on Formal Methods in Software Practice.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR7","unstructured":"G.J. Holzmann and D. Peled. An improvement in formal verification. In Proc. FORTE94, Berne, Switzerland, October 1994."},{"key":"15_CR8","unstructured":"C. Huizing. Semantics of reactive systems: comparision and full abstraction. PhD thesis, Technical University Eindhoven, 1991."},{"issue":"12","key":"15_CR9","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"F. Jahanian and A. Mok. Modechart: a specification language for real-time systems. IEEE Transactions of Software Engineering, 20(12):933\u2013947, December 1994.","journal-title":"IEEE Transactions of Software Engineering"},{"issue":"9","key":"15_CR10","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements Specification for Process-Control Systems. IEEE Trans. Soft Eng, 20(9):684\u2013707, September 1994.","journal-title":"IEEE Trans. Soft Eng"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Number 891 in LNCS. Springer Verlag, 1995.","DOI":"10.1007\/3-540-58867-1"},{"key":"15_CR12","unstructured":"F. Maraninchi. The Argos language: Graphical Representation of Automata and Description of Reactive Systems. In IEEE Workshop on Visual Languages, Oct 1991."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. In CONCUR'92, number 630 in Lecture Notes in Computer Science, pages 550\u2013564. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"15_CR14","unstructured":"E. Mikk, G. J. Holzmann, Y. Lakhnech, and M. Siegel. Implementing Statecharts in Promela\/SPIN. Technical report, Manuscript, 1997."},{"key":"15_CR15","unstructured":"E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by Statemate. In 2nd BCS-FAGS Northern Formal Methods Workshop. Springer-Verlag, July 97."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"S. Narayan, F. Vahid, and D. D. Gajski. System Specification and Synthesis with the SpecCharts Language. In Proceedings, 1991 IEEE International Conference on Computer-Aided Design (ICCAD '91), pages 266\u2013269, November 11\u201314 1991.","DOI":"10.1109\/ICCAD.1991.185249"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN'97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63875-X_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:09:05Z","timestamp":1737349745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63875-X_52"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638759","9783540696582"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63875-x_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"1 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}