{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:32Z","timestamp":1725805592149},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_13","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"184-198","source":"Crossref","is-referenced-by-count":2,"title":["Rigorous System Design Flow for Autonomous Systems"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahlem","family":"Triki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"13_CR2","unstructured":"Burns, A., Welling, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley (2001)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A Notion of Glue Expressiveness for Component-Based Systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"key":"13_CR4","unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: An architecture description interchange language. In: CASCON 1997, pp. 169\u2013183 (1997), \n                    \n                      http:\/\/www.cs.cmu.edu\/~acme\/"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT 1996, pp. 3\u201314 (1996)","DOI":"10.1145\/250707.239104"},{"key":"13_CR6","unstructured":"OMG: OMG Systems Modeling Language SysML (OMG SysML). Object Management Group (2008)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Lewis, B., Vestal, S.: The SAE Architecture Analysis and Design Language (AADL) Standard: A basis for model-based architecture-driven embedded systems engineering. In: RTAS Workshop on Model-driven Embedded Systems, pp. 1\u201310 (2003), \n                    \n                      http:\/\/www.sae.org","DOI":"10.21236\/ADA612735"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity: The Ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"13_CR9","unstructured":"Basu, A., Gallien, M., Lesire, C., Nguyen, T.H., Bensalem, S., Ingrand, F., Sifakis, J.: Incremental Component-Based Construction and Verification of a Robotic System. In: ECAI 2008. FAIA, vol.\u00a0178, pp. 631\u2013635. IOS Press (2008)"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., Sifakis, J.: Rigorous component-based system design using the bip framework. IEEE Software\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-22045-6_8","volume-title":"Software Composition","author":"S. Bensalem","year":"2011","unstructured":"Bensalem, S., de Silva, L., Griesmayer, A., Ingrand, F., Legay, A., Yan, R.: A formal approach for incremental construction with an application to autonomous robotic systems. In: Apel, S., Jackson, E. (eds.) SC 2011. LNCS, vol.\u00a06708, pp. 116\u2013132. Springer, Heidelberg (2011)"},{"key":"13_CR12","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":"13_CR13","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. In: EMSOFT (2010)","DOI":"10.1145\/1879021.1879049"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-54862-8_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. A\u015ftef\u0103noaei","year":"2014","unstructured":"A\u015ftef\u0103noaei, L., Ben Rayana, S., Bensalem, S., Bozga, M., Combaz, J.: Compositional invariant generation for timed systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol.\u00a08413, pp. 263\u2013278. Springer, Heidelberg (2014)"},{"key":"13_CR15","unstructured":"Intelligent robots for improving the quality of life, \n                    \n                      http:\/\/www.nccr-robotics.ch"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Bonani, M., Longchamp, V., Magnenat, S., R\u00e9tornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H., Mondada, F.: The MarXbot, a Miniature Mobile Robot Opening new Perspectives for the Collective-robotic Research. In: International Conference on Intelligent Robots and Systems (IROS), 2010 IEEE\/RSJ. IEEE International Conference on Intelligent Robots and Systems, pp. 4187\u20134193. IEEE Press (2010)","DOI":"10.1109\/IROS.2010.5649153"},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11721-012-0072-5","volume":"6","author":"C. Pinciroli","year":"2012","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: Argos: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intelligence\u00a06(4), 271\u2013295 (2012)","journal-title":"Swarm Intelligence"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-34026-0_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"S. Bensalem","year":"2012","unstructured":"Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A., Nouri, A.: Statistical model checking qoS properties of systems with SBIP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 327\u2013341. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:08:41Z","timestamp":1558987721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}