{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:21Z","timestamp":1750307361483,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,15]],"date-time":"2010-04-15T00:00:00Z","timestamp":1271289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,15]]},"DOI":"10.1145\/2401736.2401737","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T17:08:34Z","timestamp":1354208914000},"page":"2-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a model-driven method for reliable applications"],"prefix":"10.1145","author":[{"given":"Vidar","family":"Sl\u00e5tten","sequence":"first","affiliation":[{"name":"Norwegian University of Science and Technology (NTNU), Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank Alexander","family":"Kraemer","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology (NTNU), Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology (NTNU), Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1993.287591"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0083"},{"volume-title":"Prentice-Hall","year":"1981","author":"Anderson T.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/362946.362970"},{"volume-title":"Project Thesis","year":"2009","author":"Berg H. A.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00867-2_13"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754809.1754819"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.11.004"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529377"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2005.8"},{"volume-title":"13th Monterey Workshop, Composition of Embedded Systems, Scientific and Industrial Issues, number 4888-2007 in LNCS. Springer","year":"2007","author":"Ermagan V.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229375.1229380"},{"volume-title":"OOPSLA & GPCE workshop on best practices for Model Driven Development","year":"2004","author":"Guelfi N.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of the 2009 Int. Conf. on Security Technology (SecTech 2009","volume":"58","author":"Gunawan L. A.","year":"2009"},{"volume-title":"Norwegian University of Science and Technology","year":"2009","author":"Haugsrud S.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIN.2009.5357057"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680038"},{"volume-title":"Project Thesis","year":"2009","author":"Knutsen M.","key":"e_1_3_2_1_18_1"},{"volume-title":"Proc. of the 6th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007)","year":"2007","author":"Kraemer F. A.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_44"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"F. A. Kraemer V. Sl\u00e5tten and P. Herrmann . Model-Driven Construction of Embedded Applications based on Reusable Building Blocks -- An Example. In A. Bilgic R. Gotzhein and R. Reed editors SDL 2009 volume 5719 of Lecture Notes in Computer Science pages 1 -- 18 . Springer-Verlag Berlin Heidelberg 2009. F. A. Kraemer V. Sl\u00e5tten and P. Herrmann. Model-Driven Construction of Embedded Applications based on Reusable Building Blocks -- An Example. In A. Bilgic R. Gotzhein and R. Reed editors SDL 2009 volume 5719 of Lecture Notes in Computer Science pages 1--18. Springer-Verlag Berlin Heidelberg 2009.","DOI":"10.1007\/978-3-642-04554-7_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.057"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646846.706965"},{"volume-title":"Object Management Group (OMG)","year":"2003","author":"Miller J.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1479772.1479776"},{"key":"e_1_3_2_1_26_1","unstructured":"Object Management Group. Unified Modeling Language: Superstructure Version 2.2 February 2009. Object Management Group. Unified Modeling Language: Superstructure Version 2.2 February 2009."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357178"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/357401.357402"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1109\/FTCS.1995.466948","volume-title":"Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth Int. Symposium on","author":"Xu J.","year":"1995"},{"key":"e_1_3_2_1_30_1","unstructured":"Y. Yu P. Manolios and L. Lamport . Model Checking TLA+ Specifications. In L. Pierre and T. Kropf editors Proc. of the 10th IFIP WG 10.5 Advanced Research Working Conf. on Correct Hardware Design and Verification Methods (CHARME'99) volume 1703 of Lecture Notes in Computer Science pages 54 -- 66 . Springer-Verlag 1999 . Y. Yu P. Manolios and L. Lamport. Model Checking TLA+ Specifications. In L. Pierre and T. Kropf editors Proc. of the 10th IFIP WG 10.5 Advanced Research Working Conf. on Correct Hardware Design and Verification Methods (CHARME'99) volume 1703 of Lecture Notes in Computer Science pages 54--66. Springer-Verlag 1999."}],"event":{"name":"SERENE '10: International Workshop on Software Engineering for REsilient SystEms","sponsor":["Newcastle University","ERCIM European Research Consortium for Informatics & Mathematics","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"London United Kingdom","acronym":"SERENE '10"},"container-title":["Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401736.2401737","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2401736.2401737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:32Z","timestamp":1750245752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401736.2401737"}},"subtitle":["from ideal to realistic transmission semantics"],"short-title":[],"issued":{"date-parts":[[2010,4,15]]},"references-count":30,"alternative-id":["10.1145\/2401736.2401737","10.1145\/2401736"],"URL":"https:\/\/doi.org\/10.1145\/2401736.2401737","relation":{},"subject":[],"published":{"date-parts":[[2010,4,15]]},"assertion":[{"value":"2010-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}