{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:50Z","timestamp":1725488570777},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_28","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"376-390","source":"Crossref","is-referenced-by-count":7,"title":["iState: A Statechart Translator"],"prefix":"10.1007","author":[{"given":"Emil","family":"Sekerinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafik","family":"Zurob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"28_CR2","series-title":"Lect Notes Comput Sci","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beck von der","year":"1994","unstructured":"M. von der Beck. A comparison of statechart variants. In H. Langmaack, W.-P. deRoever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science Vol. 863, pages 128\u2013148. Springer Verlag, 1994."},{"key":"28_CR3","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"},{"issue":"7","key":"28_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1996","unstructured":"D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31\u201342, 1996.","journal-title":"IEEE Computer"},{"issue":"5","key":"28_CR5","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(5):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"28_CR6","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999-The Unified Modeling Language Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. P. Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language Beyond the Standard, Lecture Notes in Computer Science Vol. 1723, Fort Collins, Colorado, 1999."},{"key":"28_CR7","unstructured":"E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann. Implementing statecharts in Promela \/ Spin. In Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, 1998. IEEE Computer Society Press."},{"key":"28_CR8","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"28_CR9","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"28_CR10","series-title":"Lect Notes Comput Sci","volume-title":"2nd International B Conference","author":"E. Sekerinski","year":"1998","unstructured":"E. Sekerinski. Graphical design of reactive systems. In D. Bert, editor, 2nd International B Conference, Lecture Notes in Computer Science Vol. 1393, Montpellier, France, 1998. Springer-Verlag."},{"key":"28_CR11","unstructured":"E. Sekerinski and R. Zurob. From statecharts to code: A tool for the graphical design of reactive systems. Technical report, McMaster University, 2001."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T20:08:30Z","timestamp":1550693310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}