{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:22Z","timestamp":1761611182256},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053571","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:40:18Z","timestamp":1149644418000},"page":"185-199","source":"Crossref","is-referenced-by-count":33,"title":["Mode-automata: About modes and states for reactive systems"],"prefix":"10.1007","author":[{"given":"Florence","family":"Maraninchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yann","family":"R\u00e9mond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.","DOI":"10.1109\/5.97297"},{"key":"13_CR2","unstructured":"J-L. Bergerand, P. Caspi, N. Halbwachs, D. Pilaud, and E. Pilaud. Outline of a real time data-flow language. In Real Time Systems Symposium, San Diego, September 1985."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice, lustre, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, Munich, January 1987.","DOI":"10.1145\/41625.41641"},{"key":"13_CR4","unstructured":"C2A-SYNCHRON. The common format of synchronous languages-The declarative code DC version 1.0. Technical report, SYNCHRON project, October 1995."},{"key":"13_CR5","volume-title":"Technical report, IRISA report 246","author":"P. L. Guernic","year":"1985","unstructured":"P. Le Guernic, A. Benveniste, P. Bournai, and T. Gauthier. Signal: A data flow oriented language for signal processing. Technical report, IRISA report 246, IRISA, Rennes, France, 1985."},{"key":"13_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 approach to complex systems. Science of Computer Programming, 8:231\u2013275, 1987.","journal-title":"Science of Computer Programming"},{"key":"13_CR7","unstructured":"N. Halbwachs, F. Maraninchi, and Y. E. Proy. The railroad crossing problem, modeling with hybrid argos-analysis with polka. In Second European Workshop on Real-Time and Hybrid Systems, Grenoble (Prance), June 1995."},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N. Halbwachs","year":"1997","unstructured":"N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2):157\u2013185, August 1997.","journal-title":"Formal Methods in System Design"},{"key":"13_CR9","volume-title":"A multiparadigm language for reactive systems","author":"M. Jourdan","year":"1994","unstructured":"M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond. A multiparadigm language for reactive systems. In In 5th IEEE International Conference on Computer Languages, Toulouse, May 1994. IEEE Computer Society Press."},{"key":"13_CR10","unstructured":"Farnam Jahanian and Aloysius Mok. Modechart: A specification language for real-time systems. IEEE Transactions on Software Engineering, 14, 1988."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR. LNCS 630, Springer Verlag, August 1992.","DOI":"10.1007\/BFb0084815"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"F. Maraninchi and N. Halbwachs. Compiling argos into boolean equations. In Formal Techniques for Real-Time and Fault Tolerance (FTRTFT), Uppsala (Sweden), September 1996. Springer verlag, LNCS 1135.","DOI":"10.1007\/3-540-61648-9_35"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Rex Workshop on Real-Time: Theory in Practice, DePlasmolen (Netherlands), June 1991. LNCS 600, Springer Verlag.","DOI":"10.1007\/BFb0032003"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"S. Paynter. Real-time mode-machines. In Formal Techniques for Real-Time and Fault Tolerance (FTRTFT), pages 90\u2013109. LNCS 1135, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61648-9_36"},{"key":"13_CR15","volume-title":"Technical Report CS-TR-95-37","author":"C. Puchol","year":"1996","unstructured":"Carlos Puchol, Douglas Stuart, and Aloysius K. Mok. An operational semantics and a compiler for modechart specificiations. Technical Report CS-TR-95-37, University of Texas, Austin, July 1, 1996."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"E. Rutten and F. Martinez. SignalGTI, implementing task preemption and time interval in the synchronous data-flow language SIGNAL. In 7th Euromicro Workshop on Real Time Systems, Odense (Denmark), June 1995.","DOI":"10.1109\/EMWRTS.1995.514309"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:34:33Z","timestamp":1555641273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053571","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}