{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:38Z","timestamp":1772163998344,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"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":[[2011,10,22]]},"DOI":"10.1145\/2047862.2047888","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"147-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards automatic generation of formal specifications to validate and verify reliable distributed systems"],"prefix":"10.1145","author":[{"given":"Vidar","family":"Sl\u00e5tten","sequence":"first","affiliation":[{"name":"Norwegian University of Science and Technology, Trondheim, Norway"}]},{"given":"Frank Alexander","family":"Kraemer","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology, Trondheim, Norway"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology, Trondheim, Norway"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"URL http:\/\/www.eclipse.org\/aspectj. Last accessed","author":"J","year":"2011","unstructured":"Apect J web site. URL http:\/\/www.eclipse.org\/aspectj. Last accessed May 2011 . ApectJ web site. URL http:\/\/www.eclipse.org\/aspectj. Last accessed May 2011."},{"key":"e_1_3_2_1_2_1","unstructured":"Arctis Verification Project. Norwegian Research Council FORNY Project no. 199644.  Arctis Verification Project. Norwegian Research Council FORNY Project no. 199644."},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/978-3-642-03741-2_25","volume-title":"Algebra and Coalgebra in Computer Science","author":"Bauer S.","year":"2009","unstructured":"S. Bauer and R. Hennicker . Views on Behaviour Protocols and Their Semantic Foundation . In Algebra and Coalgebra in Computer Science , volume 5728 of LNCS , pages 367 -- 382 . Springer , 2009 . S. Bauer and R. Hennicker. Views on Behaviour Protocols and Their Semantic Foundation. In Algebra and Coalgebra in Computer Science, volume 5728 of LNCS, pages 367--382. Springer, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939281.1939341"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164585"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77387"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765903"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146250"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1946341.1946356"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00089-X"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_44"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779934.1779949"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.057"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1812885.1812887"},{"key":"e_1_3_2_1_20_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport L.","year":"2002","unstructured":"L. Lamport . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison-Wesley Longman Publishing Co., Inc. , 2002 . L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.019"},{"key":"e_1_3_2_1_22_1","volume-title":"Version 2.3","author":"Object Management Group (OMG).","year":"2010","unstructured":"Object Management Group (OMG). Unified Modeling Language: Superstructure , Version 2.3 , 2010 . Object Management Group (OMG). Unified Modeling Language: Superstructure, Version 2.3, 2010."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"e_1_3_2_1_24_1","first-page":"95","volume-title":"Disappearing Formal Methods. In High-Assurance Systems Engineering Symposium","author":"Rushby J.","year":"2000","unstructured":"J. Rushby . Disappearing Formal Methods. In High-Assurance Systems Engineering Symposium , pages 95 -- 96 . ACM, 2000 . J. Rushby. Disappearing Formal Methods. In High-Assurance Systems Engineering Symposium, pages 95--96. ACM, 2000."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2022067.2022087"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2401736.2401737"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.046"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646704.702012"}],"event":{"name":"GPCE '11: Generative Programming and Component Engineering","location":"Portland Oregon USA","acronym":"GPCE '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047888","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047862.2047888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047888"}},"subtitle":["a method exemplified by an industrial case study"],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":28,"alternative-id":["10.1145\/2047862.2047888","10.1145\/2047862"],"URL":"https:\/\/doi.org\/10.1145\/2047862.2047888","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2189751.2047888","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}