{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:14Z","timestamp":1725487094468},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417811"},{"type":"electronic","value":"9783540452454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45245-1_2","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:06:02Z","timestamp":1183399562000},"page":"19-32","source":"Crossref","is-referenced-by-count":0,"title":["Complex Reactive Control with Simple Synchronous Models"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Budde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Poign\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9), 1991.","DOI":"10.1109\/5.97297"},{"key":"2_CR2","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 2 edition, 1994.","edition":"2 edition"},{"key":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-48919-3_9","volume-title":"Coordiantion of synchronous languages","author":"R. Budde","year":"1999","unstructured":"R. Budde, M. Pinna, and A. Poigne. Coordiantion of synchronous languages. In P. Ciancarini and A.L. Wolf, editors, 3rd Int\u2019l Conference on Coordination Languages and Models, volume 1594 of LNCS, pages 103\u2013107. Springer, 1999."},{"key":"2_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44520-X","volume-title":"MOVEP\u20192k: Modelling and Verification of parallel Processes","author":"R. Budde","year":"2000","unstructured":"R. Budde and A. Poigne. On the synthesis of distributed synchronous processes. In MOVEP\u20192k: Modelling and Verification of parallel Processes, LNCS. Springer, 2000."},{"key":"2_CR5","unstructured":"Reinhard Budde, P. G. Pl\u00f6ger, and Karl H. Sylla. A synchronous object oriented design flow for embedded applications. In Proc. 2nd Int\u2019l Forum on Design Languages, 1999."},{"key":"2_CR6","unstructured":"Bruce Powel Douglass. Real-time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley, 1998."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Daniel D. Gajsk, Nikil Dutt, Allen Wu, and Steve Lin. High-Level Synthesis: Introduction to Chip and System Design. Kluwer Academic Pub, January 1992.","DOI":"10.1007\/978-1-4615-3636-9_1"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, pages 31\u201342, 1997.","DOI":"10.1109\/2.596624"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"David Harel and A. Naamad. The STATEMATE semantics of statecharts. ACMT-SEM: ACM Transactions on Software Engineering and Methodology, 5, 1996.","DOI":"10.1145\/235321.235322"},{"key":"2_CR10","unstructured":"H. Kopetz. Real-Time Systems \u2014 Design Principles for Distributed Embedded Applications, volume 395. Kluwer International Series in Engineering and Computer Science, 1997."},{"key":"2_CR11","unstructured":"M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavango, and A. Sangiovanni-Vincentelli. Synthesis of mixed software-hardware implementation from CFSM specifications. In Proceeding of International Workshop on Hardware-Software Codesign, Oct. 1993."},{"key":"2_CR12","volume-title":"Petri Net Theory and the Modelling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"J. L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewoods Cliffs, New Jersey, 1981."},{"key":"2_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-49213-5_19","volume-title":"On the combination of synchronous languages","author":"A. Poigne","year":"1998","unstructured":"A. Poigne and L. Holenderski. On the combination of synchronous languages. In W.P. de Roever, editor, Workshop on Compositionality: The Significant Difference, volume 1536 of LNCS, pages 490\u2013514. Springer, 1998."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45245-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:38:09Z","timestamp":1556588289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45245-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417811","9783540452454"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45245-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}