{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:54:56Z","timestamp":1725519296496},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883869"},{"type":"electronic","value":"9783540883876"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88387-6_23","type":"book-chapter","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T05:42:45Z","timestamp":1223617365000},"page":"252-257","source":"Crossref","is-referenced-by-count":15,"title":["Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT"],"prefix":"10.1007","author":[{"given":"John","family":"H\u00e5kansson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurelien","family":"Monot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davor","family":"Slutej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"23_CR1","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jss.2006.08.016","volume":"80","author":"M. \u00c5kerholm","year":"2007","unstructured":"\u00c5kerholm, M., Carlson, J., Fredriksson, J., Hansson, H., H\u00e5kansson, J., M\u00f6ller, A., Pettersson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software\u00a080(5), 655\u2013667 (2007)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"23_CR2","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. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BFb0055643","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J. Bengtsson","year":"1998","unstructured":"Bengtsson, J., Jonsson, B., Lilius, J., Yi, W.: Partial order reductions for timed systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 485\u2013500. Springer, Heidelberg (1998)"},{"issue":"2","key":"23_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.jlap.2005.05.001","volume":"65","author":"E. Bortnik","year":"2005","unstructured":"Bortnik, E., Tr\u010dka, N., Wijs, A.J., Luttik, S.P., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E.: Analyzing a \u03c7 model of a turntable system using Spin, CADP and Uppaal. Journal of Logic and Algebraic Programming\u00a065(2), 51\u2013104 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11901914_23","volume-title":"Automated Technology for Verification and Analysis","author":"P. Bouyer","year":"2006","unstructured":"Bouyer, P., Haddad, S., Reynier, P.-A.: Timed unfoldings for networks of timed automata. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218, pp. 292\u2013306. Springer, Heidelberg (2006)"},{"key":"23_CR6","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of the 2nd Workshop on Formal Aspects of Components Software (FACS 2005)","author":"J. Carlson","year":"2005","unstructured":"Carlson, J., H\u00e5kansson, J., Pettersson, P.: SaveCCM: An analysable component model for real-time systems. In: Proc. of the 2nd Workshop on Formal Aspects of Components Software (FACS 2005). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2005)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/11901914_24","volume-title":"Automated Technology for Verification and Analysis","author":"F. Cassez","year":"2006","unstructured":"Cassez, F., Chatain, T., Jard, C.: Symbolic unfoldings for networks of timed automata. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218, pp. 307\u2013321. Springer, Heidelberg (2006)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-40007-3_22","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"A. David","year":"2003","unstructured":"David, A., Behrmann, G., Larsen, K.G., Yi, W.: A tool architecture for the next generation of UPPAAL. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 352\u2013366. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modelling. Science of Computer Programming\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Science of Computer Programming"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of 1st International Workshop on Formal Modeling and Analysis of Timed Systems","author":"J. H\u00e5kansson","year":"2007","unstructured":"H\u00e5kansson, J., Pettersson, P.: Partial order reduction for verification of real-time components. In: Proc. of 1st International Workshop on Formal Modeling and Analysis of Timed Systems. LNCS. Springer, Heidelberg (2007)"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.tcs.2005.07.023","volume":"345","author":"D. Lugiez","year":"2005","unstructured":"Lugiez, D., Niebert, P., Zennou, S.: A partial order semantics approach to the clock explosion problem of timed automata. Theoretical Computer Science\u00a0345(1), 27\u201359 (2005)","journal-title":"Theoretical Computer Science"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-48320-9_30","volume-title":"CONCUR\u201999. Concurrency Theory","author":"M. Minea","year":"1999","unstructured":"Minea, M.: Partial order reduction for model checking of timed automata. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 431\u2013446. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88387-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T16:52:49Z","timestamp":1551631969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88387-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883869","9783540883876"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88387-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}