{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T06:46:30Z","timestamp":1707461190068},"reference-count":14,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.115.3","type":"journal-article","created":{"date-parts":[[2013,5,24]],"date-time":"2013-05-24T02:56:03Z","timestamp":1369364163000},"page":"36-51","source":"Crossref","is-referenced-by-count":8,"title":["Modelling and Refinement in CODA"],"prefix":"10.4204","volume":"115","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[{"name":"University of Southampton"}]},{"given":"John","family":"Colley","sequence":"additional","affiliation":[{"name":"University of Southampton"}]},{"given":"Andrew","family":"Edmunds","sequence":"additional","affiliation":[{"name":"University of Southampton"}]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[{"name":"University of Southampton"}]},{"given":"Neil","family":"Evans","sequence":"additional","affiliation":[{"name":"AWE"}]},{"given":"Neil","family":"Grant","sequence":"additional","affiliation":[{"name":"AWE"}]},{"given":"Helen","family":"Marshall","sequence":"additional","affiliation":[{"name":"AWE"}]}],"member":"2720","published-online":{"date-parts":[[2013,5,24]]},"reference":[{"issue":"6","key":"AbrialBHHMV10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in Event-B","volume":"12","author":"Abrial","year":"2010","journal-title":"STTT"},{"key":"abrial2010modeling","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"Abrial","year":"2010"},{"key":"DBLP:conf\/hybrid\/BengtssonLLPY95","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems","volume-title":"Hybrid Systems","volume":"1066","author":"Bengtsson","year":"1995"},{"key":"DBLP:conf\/b\/CansellMR07","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11955757_13","article-title":"Time Constraint Patterns for Event B Development","volume-title":"B","volume":"4355","author":"Cansell","year":"2007"},{"key":"UML","volume-title":"The Unified Software Development Process","author":"Jacobson","year":"1999"},{"key":"DBLP:conf\/ftrtft\/KnappMR02","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","article-title":"Model Checking - Timed UML State Machines and Collaborations","volume-title":"FTRTFT","volume":"2469","author":"Knapp","year":"2002"},{"issue":"2","key":"eps262886","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","article-title":"ProB: An Automated Analysis Toolset for the B Method","volume":"10","author":"Leuschel","year":"2008","journal-title":"Intl. J. on Software Tools for Technology Transfer"},{"key":"mueller2001sss","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915002","article-title":"The Simulation Semantics of SystemC","author":"Mueller","year":"2001","journal-title":"Proc. of DATE 2001"},{"key":"perry1994v","volume-title":"VHDL","author":"Perry","year":"1994"},{"key":"Said:2009:LTS:1693345.1693393","series-title":"FM '09","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-05089-3_37","article-title":"Language and Tool Support for Class and State Machine Refinement in UML-B","volume-title":"Proceedings of the 2nd World Congress on Formal Methods","author":"Said","year":"2009"},{"key":"sarshogh11","article-title":"Specification and refinement of discrete timing properties in Event-B","volume":"46","author":"Sarshogh","year":"2011","journal-title":"ECEASST"},{"issue":"1","key":"snook2006ubf","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","article-title":"UML-B: Formal modeling and design aided by UML","volume":"15","author":"Snook","year":"2006","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"thomas2002vrh","volume-title":"The Verilog (r) Hardware Description Language","author":"Thomas","year":"2002"},{"key":"DBLP:conf\/wotug\/Wickstrom07","first-page":"443","article-title":"Advanced System Simulation, Emulation and Test (ASSET)","volume-title":"CPA","author":"Wickstrom","year":"2007"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T20:22:36Z","timestamp":1369858956000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1305.6112v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,24]]},"references-count":14,"URL":"https:\/\/doi.org\/10.4204\/eptcs.115.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,24]]}}}