{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:24Z","timestamp":1725456204467},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030631","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"637-651","source":"Crossref","is-referenced-by-count":14,"title":["Compositional specification of embedded systems with Statecharts"],"prefix":"10.1007","author":[{"given":"Jan","family":"Philipps","sequence":"first","affiliation":[]},{"given":"Peter","family":"Scholz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"50_CR1","unstructured":"G. Berry. Real Time Programming: Special Purpose or General Purpose Languages. Information Processing 89, 1989."},{"issue":"2","key":"50_CR2","first-page":"87","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation, scp, 19(2):87\u2013152, nov 1992.","journal-title":"scp"},{"key":"50_CR3","doi-asserted-by":"crossref","unstructured":"M. Broy. Interaction Refinement \u2014 The Easy Way. In Program Design Calculi, volume 118 of NATO ASI Series F: Computer and System Sciences. Springer, 1993.","DOI":"10.1007\/978-3-662-02880-3"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy and K. St\u00d8len. Specification and Refinement of Finite Dataflow Networks \u2014 a Relational Approach. volume 863 of Lecture Notes in Computer Science, pages 247\u2013267, 1994.","DOI":"10.1007\/3-540-58468-4_169"},{"issue":"C-35","key":"50_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"8","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 8(C-35):677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"50_CR6","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":"50_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions on Software Engineering Method, 1996.","DOI":"10.1145\/235321.235322"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"M.P.E. Heimdahl and N.G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. Proceedings on the 17th International Conference on Software Engineering, pages 3\u201314. IEEE Computer Society Press, 1995.","DOI":"10.1145\/225014.225015"},{"key":"50_CR9","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(92)90053-I","volume":"101","author":"J.J.M. Hooman","year":"1992","unstructured":"J.J.M. Hooman, S. Ramesh, and W.P. de Roever. A Compositional Axiomatization of Statecharts. Theoretical Computer Science, 101:289\u2013335, 1992.","journal-title":"Theoretical Computer Science"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"C. Huizing and W.-P. de Roever. Introduction to Design Choices in the Semantics of Statecharts. Information Processing Letters, 37, 1991.","DOI":"10.1016\/0020-0190(91)90190-S"},{"key":"50_CR11","unstructured":"i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate, 1990."},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"K. Inoue, M. Koshimura, and R. Hasegawa. Embedding Negation as Failure into a Model Generation Theorem Prover. In D. Kapur, editor, CADE-11, number 607 in Lecture Notes in Artificial Intelligence, pages 400\u2013415, 1992.","DOI":"10.1007\/3-540-55602-8_180"},{"key":"50_CR13","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. volume 630 of Lecture Notes in Computer Science, pages 550\u2013564. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"50_CR14","doi-asserted-by":"crossref","unstructured":"F. Maraninchi and N. Halbwachs. Compositional Semantics of Non-deterministic Synchronous Languages. ESOP'96, 1996.","DOI":"10.1007\/3-540-61055-3_40"},{"key":"50_CR15","volume-title":"Technical Report TUM-I9610","author":"D. Nazareth","year":"1996","unstructured":"D. Nazareth, F. Regensburger, and P. Scholz. Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universit\u00e4t M\u00fcnchen, D-80290 M\u00fcnchen, 1996."},{"key":"50_CR16","doi-asserted-by":"crossref","unstructured":"J. Philipps and P. Scholz. Formal Verification of Statecharts with Instantaneous Chain Reactions. 1997. TACAS'97.","DOI":"10.1007\/BFb0035391"},{"key":"50_CR17","doi-asserted-by":"crossref","unstructured":"J. Philipps and P. Scholz. System-Level Hardware Design with \u039c-Charts. 1997. CHDL'97.","DOI":"10.1007\/978-0-387-35064-6_7"},{"key":"50_CR18","unstructured":"J. Philipps and T. Yoneda. Symbolic Model Checking of Statecharts. Technical Report FTS-95-37, IEICE, 1995."},{"key":"50_CR19","doi-asserted-by":"crossref","unstructured":"A. Pnueli and M. Shalev. What is in a Step: On the Semantics of Statecharts. In T. Ito and A.R. Meyer, editors, Proceedings of the \u201cTheoretical Aspects in Computer Software 91 \u201d, volume 526 of Lecture Notes in Computer Science, pages 244\u2013264. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_49"},{"key":"50_CR20","volume-title":"Technical Report TUM-I9628","author":"P. Scholz","year":"1996","unstructured":"P. Scholz. An Extended Version of Mini-Statecharts. Technical Report TUM-I9628, Technische Universit\u00e4t M\u00fcnchen, D-80290 M\u00fcnchen, 1996."},{"key":"50_CR21","doi-asserted-by":"crossref","unstructured":"P. Scholz. A Light-Weight Formalism for the Specification of Reactive Systems 1996. SOFSEM'96.","DOI":"10.1007\/BFb0037426"},{"key":"50_CR22","unstructured":"P. Scholz, D. Nazareth, and F. Regensburger. Mini-Statecharts: A Compositional Way to Model Parallel Systems. 1996. PDCS'96."},{"key":"50_CR23","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A Comparison of Statecharts Variants. volume 863 of Lecture Notes in Computer Science, pages 128\u2013148. Springer, 1994.","DOI":"10.1007\/3-540-58468-4_163"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:20:24Z","timestamp":1586593224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0030631","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}