{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:01:03Z","timestamp":1761512463405,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766483"},{"type":"electronic","value":"9783540766506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76650-6_6","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T07:12:49Z","timestamp":1193382769000},"page":"76-95","source":"Crossref","is-referenced-by-count":21,"title":["From Model-Based Design to Formal Verification of Adaptive Embedded Systems"],"prefix":"10.1007","author":[{"given":"Rasmus","family":"Adler","sequence":"first","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Schuele","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Vecchi\u00e9","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"UbiSafe 2007","author":"R. Adler","year":"2007","unstructured":"Adler, R., F\u00f6rster, M., Trapp, M.: Determining configuration probabilities of safety-critical adaptive systems. In: UbiSafe 2007, IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Blech, J.O., Schaefer, I., Poetzsch-Heffter, A.: Translation validation for system abstractions. In: RV 2007, Vancouver, Canada (2007)","DOI":"10.1007\/978-3-540-77395-5_12"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Formal Methods for the Design of Real-Time Systems. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1075405.1075411","volume-title":"WOSS 2004","author":"J.S. Bradbury","year":"2004","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: WOSS 2004, pp. 28\u201333. ACM Press, Newport Beach, USA (2004)"},{"issue":"5","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"6_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT, London, England (1999)"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D. Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. ACM Trans. Program. Lang. Syst.\u00a019(2), 253\u2013291 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","volume-title":"Component-Based Software Engineering","author":"S.S. Kulkarni","year":"2004","unstructured":"Kulkarni, S.S., Biyani, K.N.: Correctness of component-based adaptation. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 48\u201358. Springer, Heidelberg (2004)"},{"key":"6_CR9","volume-title":"WISP 2001","author":"A. Ledeczi","year":"2001","unstructured":"Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: WISP 2001, Budapest, Hungary, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1) (2000)","DOI":"10.1109\/32.825767"},{"key":"6_CR11","unstructured":"Michel, P.: Redesign and enhancement of the Katja system. Technical Report 354\/06, University of Kaiserslautern (October 2006)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2013 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"6_CR13","first-page":"402","volume-title":"LICS 1988","author":"D. Niwi\u0144ski","year":"1988","unstructured":"Niwi\u0144ski, D.: Fixed points vs. infinite generation. In: LICS 1988, pp. 402\u2013409. IEEE Computer Society Press, Washington, DC. (1988)"},{"key":"6_CR14","volume-title":"IEEE Conference Aerospace","author":"O.A. Rawashdeh","year":"2005","unstructured":"Rawashdeh, O.A., Lumpp Jr., J.E.: A technique for specifying dynamically reconfigurable embedded systems. In: IEEE Conference Aerospace, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/978-3-540-49823-0_49","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"I. Schaefer","year":"2006","unstructured":"Schaefer, I., Poetzsch-Heffter, A.: Towards modular verification of stabilisation in self-adaptive embedded systems. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol.\u00a04280, pp. 584\u2013585. Springer, Heidelberg (2006)"},{"key":"6_CR16","unstructured":"Schaefer, I., Poetzsch-Heffter, A.: Using abstraction in modular verification of synchronous adaptive systems. In: Workshop on Trustworthy Software, Saarbr\u00fccken, Germany (2006)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Schinz, I., Toben, T., Mrugalla, Chr., Westphal, B.: The Rhapsody UML Verification Environment. In: SEFM, pp. 174\u2013183 (2004)","DOI":"10.1109\/SEFM.2004.1347518"},{"key":"6_CR18","series-title":"Texts in Theoretical Computer Science (EATCS Series)","volume-title":"Verification of Reactive Systems \u2013 Formal Methods and Algorithms","author":"K. Schneider","year":"2003","unstructured":"Schneider, K.: Verification of Reactive Systems \u2013 Formal Methods and Algorithms. Texts in Theoretical Computer Science (EATCS Series). Springer, Heidelberg (2003)"},{"key":"6_CR19","unstructured":"Schneider, K., Schuele, T.: Averest: Specification, verification, and implementation of reactive systems. In: ACSD 2005, St.\u00a0Malo, France (2005)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1137677.1137681","volume-title":"SEAMS 2006","author":"K. Schneider","year":"2006","unstructured":"Schneider, K., Schuele, T., Trapp, M.: Verifying the adaptation behavior of embedded systems. In: SEAMS 2006, Shanghai, China, pp. 16\u201322. ACM Press, New York (2006)"},{"key":"6_CR21","volume-title":"SE 2007","author":"M. Trapp","year":"2007","unstructured":"Trapp, M., Adler, R., F\u00f6rster, M., Junger, J.: Runtime adaptation in safety-critical automotive systems. In: SE 2007, ACTA, Innsbruck, Austria (2007)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Xie, F., Levin, V., Kurshan, R.P., Browne, J.C.: Translating software designs for model checking. In: FASE, pp. 324\u2013338 (2004)","DOI":"10.1007\/978-3-540-24721-0_24"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1083217.1083220","volume-title":"WADS 2005","author":"J. Zhang","year":"2005","unstructured":"Zhang, J., Cheng, B.H.C.: Specifying adaptation semantics. In: WADS 2005, pp. 1\u20137. ACM, St. Louis, USA (2005)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/1134285.1134337","volume-title":"ICSE 2006","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006, Shanghai, China, pp. 371\u2013380. ACM Press, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76650-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:42:25Z","timestamp":1737499345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76650-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766483","9783540766506"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76650-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}