{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:43Z","timestamp":1763468203416,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656068","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Refinement calculus of reactive systems"],"prefix":"10.1145","author":[{"given":"Viorel","family":"Preoteasa","sequence":"first","affiliation":[{"name":"Aalto University, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"Aalto University, Finland and University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press New York NY USA 1st edition 2010.   J.-R. Abrial. Modeling in Event-B: System and Software Engineering . Cambridge University Press New York NY USA 1st edition 2010.","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"volume-title":"University of Helsinki","year":"1978","author":"Back R.-J.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"Back R.-J.","year":"1990"},{"volume-title":"Springer","year":"1998","author":"Back R.-J.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"R.-J.\n       \n      Back\n     and \n      \n      \n      J.\n       \n      Wright\n      \n  \n  . \n  Trace refinement of action systems. In B. Jonsson and J. Parrow editors CONCUR '94: Concurrency Theory volume \n  836\n   of \n  Lecture Notes in Computer Science pages \n  367\n  --\n  384\n  . \n  Springer Berlin Heidelberg 1994\n  .   R.-J. Back and J. Wright. Trace refinement of action systems. In B. Jonsson and J. Parrow editors CONCUR '94: Concurrency Theory volume 836 of Lecture Notes in Computer Science pages 367--384. Springer Berlin Heidelberg 1994.","DOI":"10.1007\/978-3-540-48654-1_28"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050116"},{"volume-title":"Springer","year":"2001","author":"Broy M.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/76991"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/101969.101990"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_13_1","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"Lynch N. A.","year":"1989","journal-title":"CWI Quarterly"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Nipkow L. C.\n       \n      Paulson and \n      \n      \n      M.\n       \n      Wenzel\n      \n  \n  . \n  Isabelle\/HOL --- A Proof Assistant for Higher-Order Logic volume \n  2283\n   of \n  LNCS\n  . \n  Springer 2002\n  .   T. Nipkow L. C. Paulson and M. Wenzel. Isabelle\/HOL --- A Proof Assistant for Higher-Order Logic volume 2283 of LNCS . Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"V. Preoteasa. Refinement algebra with dual operator. Science of Computer Programming 92 Part B(0):179--210 2014.  V. Preoteasa. Refinement algebra with dual operator. Science of Computer Programming 92 Part B(0):179--210 2014.","DOI":"10.1016\/j.scico.2013.07.002"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985342.1985345"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03547-0_59"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656068","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":18,"alternative-id":["10.1145\/2656045.2656068","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656068","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}