{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:40:50Z","timestamp":1729618850142,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/idt.2010.5724430","type":"proceedings-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T11:27:16Z","timestamp":1299583636000},"page":"161-166","source":"Crossref","is-referenced-by-count":2,"title":["Mapping SMV models to event-B models"],"prefix":"10.1109","author":[{"given":"Samah","family":"Hassan","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Taher","sequence":"additional","affiliation":[]},{"given":"Ayman M.","family":"Wahba","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","article-title":"NUSMV: a new Symbolic Model Verifier","volume":"1633","author":"cimatti","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"User Manual of the RODIN Platform","year":"0","key":"ref10"},{"key":"ref6","article-title":"Rodin: An Open Toolset for Modelling and Reasoning in Event-B","author":"jeanraymond","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"journal-title":"Lexical Analysis with Flex","year":"0","key":"ref11"},{"key":"ref5","first-page":"169","article-title":"Extending B without changing it","author":"abrial","year":"1996","journal-title":"Proc 1st Conf B Method"},{"journal-title":"Bison manual","year":"0","key":"ref12"},{"journal-title":"NuSMV 2 4 User Manual","year":"0","author":"cavada","key":"ref8"},{"key":"ref7","first-page":"241","article-title":"NuSMV 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"journal-title":"Modeling in Event-B System and Software Engineering","year":"2010","author":"jeanraymond","key":"ref9"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref1"}],"event":{"name":"2010 5th International Design and Test Workshop (IDT)","start":{"date-parts":[[2010,12,14]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2010,12,15]]}},"container-title":["2010 5th International Design and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5720574\/5724383\/05724430.pdf?arnumber=5724430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T20:48:10Z","timestamp":1497905290000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5724430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/idt.2010.5724430","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}