{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:14:02Z","timestamp":1792185242223,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662452332","type":"print"},{"value":"9783662452349","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_7","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"96-98","source":"Crossref","is-referenced-by-count":9,"title":["Introduction to \u201cRigorous Engineering of Autonomic Ensembles\u201d\u2013 Track Introduction"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"LNCS","first-page":"184","volume-title":"ISoLA 2014, Part I","author":"S. Bensalem","year":"2014","unstructured":"Bensalem, S., Bozga, M., Combaz, J., Triki, A.: Rigorous System Design Flow for Autonomous Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 184\u2013198. Springer, Heidelberg (2014)"},{"key":"7_CR2","series-title":"LNCS","first-page":"131","volume-title":"ISoLA 2014, Part I","author":"T. Bure\u0161","year":"2014","unstructured":"Bure\u0161, T., Hork\u00fd, V., Kit, M., Marek, L., T\u016fma, P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 131\u2013146. Springer, Heidelberg (2014)"},{"key":"7_CR3","series-title":"LNCS","first-page":"147","volume-title":"ISoLA 2014, Part I","author":"G. Cabri","year":"2014","unstructured":"Cabri, G., Capodieci, N., Cesari, L., De Nicola, R., Pugliese, R., Tiezzi, F., Zambonelli, F.: Self-expression and Dynamic Attribute-based Ensembles in SCEL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 147\u2013163. Springer, Heidelberg (2014)"},{"key":"7_CR4","series-title":"LNCS","first-page":"99","volume-title":"ISoLA 2014, Part I","author":"A. Klarl","year":"2014","unstructured":"Klarl, A., Mayer, P., Hennicker, R.: HelenaatWork: Modeling the Science Cloud Platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 99\u2013116. Springer, Heidelberg (2014)"},{"key":"7_CR5","series-title":"LNCS","first-page":"164","volume-title":"ISoLA 2014, Part I","author":"M. Loreti","year":"2014","unstructured":"Loreti, M., Margheri, A., Pugliese, R., Tiezzi, F.: On Programming and Policing Autonomic Computing Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 164\u2013183. Springer, Heidelberg (2014)"},{"key":"7_CR6","series-title":"LNCS","first-page":"117","volume-title":"ISoLA 2014, Part I","author":"E. Vassev","year":"2014","unstructured":"Vassev, E., Hinchey, M., Mayer, P.: Formalizing Self-Adaptive Clouds with KnowLang. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 117\u2013130. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:09:07Z","timestamp":1559002147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}