{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:14:58Z","timestamp":1725815698653},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319153919"},{"type":"electronic","value":"9783319153926"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15392-6_1","type":"book-chapter","created":{"date-parts":[[2015,1,23]],"date-time":"2015-01-23T11:46:13Z","timestamp":1422013573000},"page":"3-12","source":"Crossref","is-referenced-by-count":4,"title":["Modular Design and Verification of Distributed Adaptive Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"G\u00f6thel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Bartels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,24]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-76650-6_6","volume-title":"Formal Methods and Software Engineering","author":"R Adler","year":"2007","unstructured":"Adler, R., Schaefer, I., Schuele, T., Vecchi\u00e9, E.: From model-based design to formal verification of adaptive embedded systems. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 76\u201395. Springer, Heidelberg (2007)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"RB Allen","year":"1998","unstructured":"Allen, R.B., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Bartels, B., Kleine, M.: A CSP-based framework for the specification, verification and implemenation of adaptive systems. In: 6th Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011). ACM (2011)","key":"1_CR3","DOI":"10.1145\/1988008.1988030"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 A modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: A case study on formal verification of self-adaptive behaviors in a decentralized system. In: Kokash, N., Ravara, A. (eds.) FOCLASA. EPTCS, vol. 91, pp. 45\u201362 (2012)","key":"1_CR6","DOI":"10.4204\/EPTCS.91.4"},{"unstructured":"Jask\u00f3, S., Simon, G., Tarnay, K., Dulai, T., Muhi, D.: CSP-based modelling for self-adaptive applications. Infocommunications Journal LVIV (2009)","key":"1_CR7"},{"doi-asserted-by":"crossref","unstructured":"Luckey, M., Engels, G.: High-quality specification of self-adaptive software systems. In: 8th Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013). ACM (2013)","key":"1_CR8","DOI":"10.1109\/SEAMS.2013.6595501"},{"key":"1_CR9","volume-title":"Concurrent and Real Time Systems: The CSP Approach","author":"S Schneider","year":"1999","unstructured":"Schneider, S.: Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons Inc., New York (1999)"},{"unstructured":"Schwarze, M.: Modeling and verification of adaptive systems using Timed CSP. Master thesis, Technische Universit\u00e4t Berlin (2013)","key":"1_CR10"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Nature of Computation and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15392-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:41:39Z","timestamp":1559090499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15392-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319153919","9783319153926"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15392-6_1","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2015]]}}}