{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:32Z","timestamp":1750306832148,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T00:00:00Z","timestamp":1319155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Institute for energy technology (IFE), Halden, Norway"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,21]]},"DOI":"10.1145\/2578903.2579145","type":"proceedings-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T17:50:00Z","timestamp":1397238600000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SACS"],"prefix":"10.1145","author":[{"given":"Andr\u00e9 Alexandersen","family":"Hauge","sequence":"first","affiliation":[{"name":"Institute for energy technology, Halden, Norway and University of Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ketil","family":"St\u00f8len","sequence":"additional","affiliation":[{"name":"SINTEF ICT, Oslo, Norway and University of Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Alexander C. Ishikawa S. and Silverstein M. 1977. A Pattern Language: Towns Buildings Construction. Oxford University Press New York.  Alexander C. Ishikawa S. and Silverstein M. 1977. A Pattern Language: Towns Buildings Construction . Oxford University Press New York."},{"key":"e_1_3_2_1_2_1","unstructured":"\u00c5str\u00f6m K. J. and Wittenmark B. 1994. Adaptive Control. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   \u00c5str\u00f6m K. J. and Wittenmark B. 1994. Adaptive Control . Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","year":"1995","author":"Gamma E.","key":"e_1_3_2_1_3_1"},{"volume-title":"Problem Frames: Analysing and Structuring Software Development Problems","year":"2001","author":"Jackson M.","key":"e_1_3_2_1_4_1"},{"volume-title":"Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases.","author":"Kelly T.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"Object Management Group (OMG). 2010. Unified Modeling Language Specification. Version 2.3.  Object Management Group (OMG). 2010. Unified Modeling Language Specification. Version 2.3."},{"volume-title":"Toward Verification and Validation of Adaptive Aircraft Controllers. In IEEE Aerospace Conference. IEEE Press","author":"Schumann J.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Schumann J. and Liu Y. E. 2010. Applications of Neural Networks in High Assurance Systems. Springer Verlag Berlin.   Schumann J. and Liu Y. E. 2010. Applications of Neural Networks in High Assurance Systems . Springer Verlag Berlin.","DOI":"10.1007\/978-3-642-10690-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_10_1","unstructured":"Stanley P. Ed. 2011. ETCS for Engineers. DVV Media Group GmnH Eurail Press Hamburg Germany.  Stanley P. Ed. 2011. ETCS for Engineers . DVV Media Group GmnH Eurail Press Hamburg Germany."},{"key":"e_1_3_2_1_11_1","unstructured":"Winter P. Ed. 2009. Compendium on ERTMS --- European Rail Traffic Management System. DVV Media Group GmnH Eurail Press Hamburg Germany.  Winter P. Ed. 2009. Compendium on ERTMS --- European Rail Traffic Management System . DVV Media Group GmnH Eurail Press Hamburg Germany."}],"event":{"name":"PLoP 11: Pattern Languages of Programs Conference 2011","sponsor":["Hillside Group Hillside Group","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"PLoP 11"},"container-title":["Proceedings of the 18th Conference on Pattern Languages of Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2578903.2579145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2578903.2579145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:51Z","timestamp":1750234191000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2578903.2579145"}},"subtitle":["a pattern language for safe adaptive control software"],"short-title":[],"issued":{"date-parts":[[2011,10,21]]},"references-count":11,"alternative-id":["10.1145\/2578903.2579145","10.1145\/2578903"],"URL":"https:\/\/doi.org\/10.1145\/2578903.2579145","relation":{},"subject":[],"published":{"date-parts":[[2011,10,21]]},"assertion":[{"value":"2011-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}