{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:10:08Z","timestamp":1745964608636,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370564"},{"type":"electronic","value":"9783642370571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_18","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"235-249","source":"Crossref","is-referenced-by-count":9,"title":["Model-Based Implementation of Parallel Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Ahlem","family":"Triki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-540-24743-2_24","volume-title":"Hybrid Systems: Computation and Control","author":"A. Ghosal","year":"2004","unstructured":"Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A.: Event-Driven Programming with Logical Execution Times. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 357\u2013371. Springer, Heidelberg (2004)"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. Proc. of the IEEE\u00a091(1), 84\u201399 (2003)","journal-title":"Proc. of the IEEE"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Aussagu\u00e8s, C., David, V.: A method and a technique to model and ensure timeliness in safety critical real-time systems. In: ICECCS, pp. 2\u201312. IEEE Computer Society (1998)","DOI":"10.1109\/ICECCS.1998.706651"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Carloni, L.P., Tripakis, S. (eds.) EMSOFT, pp. 229\u2013238. ACM (2010)","DOI":"10.1145\/1879021.1879052"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A. Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46419-0_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Bornot","year":"2000","unstructured":"Bornot, S., G\u00f6\u00dfler, G., Sifakis, J.: On the Construction of Live Timed Systems. In: Graf, S. (ed.) TACAS 2000. LNCS, vol.\u00a01785, pp. 109\u2013126. Springer, Heidelberg (2000)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-11319-2_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Wilhelm","year":"2010","unstructured":"Wilhelm, R., Altmeyer, S., Burgui\u00e8re, C., Grund, D., Herter, J., Reineke, J., Wachter, B., Wilhelm, S.: Static Timing Analysis for Hard Real-Time Systems. In: Barthe, G., Hermenegildo, M. (eds.) VMCAI 2010. LNCS, vol.\u00a05944, pp. 3\u201322. Springer, Heidelberg (2010)"},{"key":"18_CR9","unstructured":"Milner, R.: Communication and concurrency. PHI Series in computer science. Prentice Hall (1989)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3\u201312. IEEE Computer Society (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"18_CR11","unstructured":"Magnenat, S.: Software integration in mobile robotics, a scienc to scale up machine intelligence. PhD thesis (2010)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:39Z","timestamp":1745962359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}