{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:45:59Z","timestamp":1742989559552,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_18","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"243-256","source":"Crossref","is-referenced-by-count":17,"title":["Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT"],"prefix":"10.1007","author":[{"given":"Eun-Young","family":"Kang","sequence":"first","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Advancing Traffic Efficiency and Safety through Software Technology Phase 2, European project (2010), http:\/\/www.atesst.org"},{"key":"18_CR2","unstructured":"AUTomotive Open System Architecture (2010), http:\/\/www.autosar.org"},{"key":"18_CR3","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"127","volume-title":"Proceedings of the 2nd Workshop on Formal Aspects of Components Software (FACS 2005)","author":"J. Carlson","year":"2006","unstructured":"Carlson, J., H\u00e5kansson, J., Pettersson, P.: SaveCCM: An analysable component model for real-time systems. In: Liu, Z., Barbosa, L. (eds.) Proceedings of the 2nd Workshop on Formal Aspects of Components Software (FACS 2005). Electronic Notes in Theoretical Computer Science, vol.\u00a0160, pp. 127\u2013140. Elsevier, Amsterdam (2006)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed i\/o automata: a complete specification theory for real-time systems. Hybrid Systems, 91\u2013100 (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Feng, L., Chen, D., L\u00f6nn, H., T\u00f6rngren, M.: Verifying system behaviors in east-adl2 with the SPIN model checker. In: IEEE International Conference on Mechatronics and Automation, Xi\u2019an China (August 2011)","DOI":"10.1109\/ICMA.2010.5588261"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Grimm, K.: Software technology in an automotive company - major challenges. In: International Conference on Software Engineering, p. 498 (2003)","DOI":"10.1109\/ICSE.2003.1201228"},{"key":"18_CR7","unstructured":"H\u00e5kansson, J.: Design and verification of component based real-time systems. PhD thesis, Uppsala University (2009)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-88387-6_23","volume-title":"Automated Technology for Verification and Analysis","author":"J. H\u00e5kansson","year":"2008","unstructured":"H\u00e5kansson, J., Carlson, J., Monot, A., Pettersson, P., Slutej, D.: Component-based design and analysis of embedded systems with UPPAAL PORT. In: Cha, S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 252\u2013257. Springer, Heidelberg (2008)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BFb0054178","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Lindahl","year":"1998","unstructured":"Lindahl, M., Pettersson, P., Yi, W.: Formal design and analysis of a gear controller. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 281\u2013297. Springer, Heidelberg (1998)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-15297-9_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Jerson Ortiz","year":"2010","unstructured":"Jerson Ortiz, J., Legay, A., Schobbens, P.-Y.: Memory event clocks. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol.\u00a06246, pp. 198\u2013212. Springer, Heidelberg (2010)"},{"key":"18_CR11","unstructured":"Open Source Tool for Graphical UML2 Modeling (2010), http:\/\/www.papyrusuml.org"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0014711","volume-title":"Hybrid and Real-Time Systems","author":"J.-F. Raskin","year":"1997","unstructured":"Raskin, J.-F., Schobbens, P.-Y.: State clock logic: A decidable real-time logic. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, pp. 33\u201347. Springer, Heidelberg (1997)"},{"key":"18_CR13","volume-title":"United Modeling Language User Guide","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I.: United Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (1998)","edition":"2"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-15651-9_25","volume-title":"Computer Safety, Reliability, and Security","author":"A. Sandberg","year":"2010","unstructured":"Sandberg, A., Chen, D., L\u00f6nn, H., Johansson, R., Feng, L., T\u00f6rngren, M., Torchiaro, S., Tavakoli-Kolagari, R., Abele, A.: Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 332\u2013346. Springer, Heidelberg (2010)"},{"issue":"10","key":"18_CR15","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer\u00a040(10), 42\u201351 (2007)","journal-title":"Computer"},{"key":"18_CR16","unstructured":"SAVE-IDE project at source net, http:\/\/sourceforge.net\/projects\/save-ide\/"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Sentilles, S., H\u00e5kansson, J., Pettersson, P., Crnkovic, I.: SAVE-IDE, an integrated development environment for building predictable component-based embedded systems. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2008 (September 2008)","DOI":"10.1109\/ASE.2008.87"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-13238-4_4","volume-title":"Component-Based Software Engineering","author":"J. Suryadevara","year":"2010","unstructured":"Suryadevara, J., Kang, E.-Y., Seceleanu, C., Pettersson, P.: Bridging the semantic gap between abstract models of embedded systems. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 55\u201373. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:49:31Z","timestamp":1560552571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}