{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:40:01Z","timestamp":1743144001626,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319103884"},{"type":"electronic","value":"9783319103891"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-10389-1_9","type":"book-chapter","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T15:40:51Z","timestamp":1409672451000},"page":"113-130","source":"Crossref","is-referenced-by-count":1,"title":["Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Nermin","family":"Kajtazovic","sequence":"first","affiliation":[]},{"given":"Christopher","family":"Preschern","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"H\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Adler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A.: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst.\u00a010(2), 20:1\u201320:39 (2011), \n                    http:\/\/doi.acm.org\/10.1145\/1880050.1880056\n                  , doi:10.1145\/1880050.1880056","DOI":"10.1145\/1880050.1880056"},{"issue":"5","key":"9_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026(5), 109\u2013120 (2001), \n                    http:\/\/doi.acm.org\/10.1145\/503271.503226\n                  , doi:10.1145\/503271.503226","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"9_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K. Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)"},{"issue":"3","key":"9_CR4","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), doi:10.1109\/MS.2011.27","journal-title":"IEEE Software"},{"key":"9_CR5","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. (2012) Contracts for Systems Design. Tech. rep., Research Report, Nr. 8147, Inria (November 2012)"},{"key":"9_CR6","unstructured":"Butz, H.: (-) Open integrated modular avionic (ima): State of the art and future development road map at airbus deutschland. Department of Avionic Systems at Airbus Deutschland GmbH Kreetslag 10, D-21129 Hamburg, Germany"},{"key":"9_CR7","unstructured":"choco Team, choco: an Open Source Java Constraint Programming Library. Research report 10-02-INFO, \u00c9cole des Mines de Nantes (2010)"},{"key":"9_CR8","unstructured":"Earle, C.B., G\u00f3mez-Mart\u00ednez, E., Tonetta, S., Puri, S., Mazzini, S., Gilbert, J.L., Hachet, O., Oliver, R.S., Ekelin, C., Zedda, K.: Languages for Safety-Certification Related Properties. In: Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA 2013) (2013)"},{"key":"9_CR9","unstructured":"COMPASS (2011-2014) Compass - comprehensive modelling for advanced systems of systems, \n                    http:\/\/www.compass-research.eu"},{"key":"9_CR10","volume-title":"Building Reliable Component-Based Software Systems","author":"I. Crnkovic","year":"2002","unstructured":"Crnkovic, I.: Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood (2002)"},{"key":"9_CR11","unstructured":"Frey, P.: Case Study: Engine Control Application. Tech. rep., Ulmer Informatik-Berichte, Nr. 2010-03 (2010)"},{"issue":"1-3","key":"9_CR12","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 modeling. Sci. Comput. Program\u00a055(1-3), 161\u2013183 (2005), \n                    http:\/\/dx.doi.org\/10.1016\/j.scico.2004.05.014\n                  , doi:10.1016\/j.scico.2004.05.014","journal-title":"Sci. Comput. Program"},{"key":"9_CR13","unstructured":"Kindel, O., Friedrich, M.: Softwareentwicklung mit AUTOSAR: Grundlagen, Engineering, Management in der Praxis. dpunkt Verlag; Auflage: 1 (Juni 8, 2009)"},{"key":"9_CR14","unstructured":"Montano, G.: Dynamic reconfiguration of safety-critical systems: Automation and human involvement. PhD Thesis (2011)"},{"key":"9_CR15","unstructured":"SAFECER (2011-2015) Safecer - safety certification of software-intensive systems with reusable components, \n                    http:\/\/safecer.eu"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-02414-6_11","volume-title":"Component-Based Software Engineering","author":"S. Sentilles","year":"2009","unstructured":"Sentilles, S., \u0160t\u011bp\u00e1n, P., Carlson, J., Crnkovi\u0107, I.: Integration of extra-functional properties in component models. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol.\u00a05582, pp. 173\u2013190. Springer, Heidelberg (2009), \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-02414-6_11"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"de Sousa, M.: Data-type checking of iec61131-3 st and il applications. In: 2012 IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1\u20138 (2012), doi:10.1109\/ETFA.2012.6489534","DOI":"10.1109\/ETFA.2012.6489534"},{"key":"9_CR18","unstructured":"SPEEDS (2006-2012) Speculative and exploratory design in systems engineering - speeds, \n                    http:\/\/www.speeds.eu.com"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Sun, X., Nuzzo, P., Wu, C.C., Sangiovanni-Vincentelli, A.: Contract-based system-level composition of analog circuits. In: 46th ACM\/IEEE Design Automation Conference, DAC 2009, pp. 605\u2013610. Los Alamitos (2009)","DOI":"10.1145\/1629911.1630066"},{"key":"9_CR20","unstructured":"Tran, E.: Verification\/validation\/certification. Carnegie Mellon University, 18-849b Dependable Embedded Systems (1999)"}],"container-title":["Studies in Computational Intelligence","Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10389-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T10:33:52Z","timestamp":1675247632000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10389-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319103884","9783319103891"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10389-1_9","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015]]}}}