{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:48:39Z","timestamp":1725630519543},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/formsera.2012.6229789","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:02Z","timestamp":1341941762000},"page":"51-57","source":"Crossref","is-referenced-by-count":23,"title":["Augmenting Event-B modelling with real-time verification"],"prefix":"10.1109","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Latvala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.43"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/11955757_13"},{"key":"13","article-title":"An Approach to Modelling and Refining Timing Properties in B","author":"butler","year":"0","journal-title":"Proceedings of Workshop on Refinement of Critical Systems (RCS) January 2002"},{"key":"14","article-title":"A Method to Refine Time Constraints in Event-B Framework","author":"rehm","year":"0","journal-title":"Proceedings of AVoCS 2006"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"The B Language and Method A Guide to Practical Formal Development","year":"1996","author":"lano","key":"12"},{"journal-title":"EU-project DEPLOY","year":"0","key":"3"},{"key":"2","first-page":"232","article-title":"Uppaal - A tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1996","journal-title":"Proceedings of the DIMACS\/SYCON Workshop on Hybrid Systems"},{"journal-title":"Rodin Deliverable D7 Event B language","year":"2005","author":"metayer","key":"1"},{"key":"10","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"IFIP83"},{"journal-title":"Space Sci","year":"2008","key":"7"},{"journal-title":"Event-b and the Rodin Platform","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"journal-title":"The B-Book Assigning Programs to Meanings","year":"2005","author":"abrial","key":"4"},{"journal-title":"OBSW Formal Development in Event-B","year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/FormSERA.2012.6229789"}],"event":{"name":"2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,2]]}},"container-title":["2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220306\/6229778\/06229789.pdf?arnumber=6229789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:16:52Z","timestamp":1490098612000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/formsera.2012.6229789","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}