{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:25:32Z","timestamp":1773235532420,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642016479","type":"print"},{"value":"9783642016486","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01648-6_2","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T11:50:52Z","timestamp":1240833052000},"page":"5-19","source":"Crossref","is-referenced-by-count":34,"title":["Translating AADL into BIP - Application to the Verification of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"M. Yassin","family":"Chkouri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Robert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Annex Behavior Specification SAE AS5506"},{"key":"2_CR2","unstructured":"http:\/\/aadl.enst.fr\/arc\/doc\/"},{"key":"2_CR3","unstructured":"http:\/\/gforge.enseeiht.fr\/docman\/?group_id=37"},{"key":"2_CR4","unstructured":"http:\/\/www-verimag.imag.fr\/~async\/bipMetamodel.php"},{"key":"2_CR5","unstructured":"SAE. Architecture Analysis & Design Language (standard SAE AS5506) (September 2004), \n                    \n                      http:\/\/www.sae.org"},{"key":"2_CR6","unstructured":"SEI. Open Source AADL Tool Environment, \n                    \n                      http:\/\/la.sei.cmu.edu\/aadlinfosite\/OpenSourceAADLToolEnvironment.html"},{"key":"2_CR7","unstructured":"TOPCASED, \n                    \n                      http:\/\/www.topcased.org\/"},{"key":"2_CR8","unstructured":"Basu, A., Bensalem, S., Gallien, M., Ingrand, F., Lesire, C., Nguyen, T.H., Sifakis, J.: Incremental component-based construction and verification of a robotic system. In: Proceedings of ECAI 2008, Patras, Greece (2008)"},{"key":"2_CR9","first-page":"3","volume-title":"Proceedings of SEFM 2006","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: Proceedings of SEFM 2006, Pune, India, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Basu, A., Mounier, L., Poulhi\u00e8s, M., Pulou, J., Sifakis, J.: Using bip for modeling and verification of networked systems \u2013 a case study on tinyos-based networks. In: Proceedings of NCA 2007, Cambridge, MA, USA, pp. 257\u2013260 (2007)","DOI":"10.1109\/NCA.2007.52"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional verification for component-based systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311. Springer, Heidelberg (2008)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Bozga, M., Fernandez, J.-C., Kerbrat, A., Mounier, L.: Protocol verification with the aldebaran toolset. In: STTT, vol.\u00a01, pp. 166\u2013183 (1997)","DOI":"10.1007\/s100090050012"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"J. Sifakis","year":"2005","unstructured":"Sifakis, J., Gossler, G.: Composition for component-based modeling. Science of Computer Programming\u00a055, 161\u2013183 (2005)","journal-title":"Science of Computer Programming"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-77419-8_5","volume-title":"Composition of Embedded Systems. Scientific and Industrial Issues","author":"M. Poulhi\u00e8s","year":"2007","unstructured":"Poulhi\u00e8s, M., Pulou, J., Rippert, C., Sifakis, J.: A methodology and supporting tools for the development of component-based embedded systems. In: Kordon, F., Sokolsky, O. (eds.) Monterey Workshop 2006. LNCS, vol.\u00a04888, pp. 75\u201396. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01648-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:06:44Z","timestamp":1558267604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01648-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016479","9783642016486"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01648-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}