{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:20:49Z","timestamp":1729614049381,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/iceccs.2014.10","type":"proceedings-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T16:15:35Z","timestamp":1413994535000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["From TiMo to Event-B: Event-Driven Timed Mobility"],"prefix":"10.1109","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[]},{"given":"Thai Son","family":"Hoang","sequence":"additional","affiliation":[]},{"given":"Alin","family":"Stefanescu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.03.002"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0063-9"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39718-9_9"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611063"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.25"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu006"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1854"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.07.013"},{"key":"3","doi-asserted-by":"crossref","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":"20","first-page":"1","article-title":"Specification and refinement of discrete timing properties in Event-B","volume":"46","author":"sarshogh","year":"2011","journal-title":"ECEASST"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.05.002"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.43"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0109-2"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40561-7_3"},{"key":"4","first-page":"1","article-title":"Stepwise development of formal models for web services compositions: Modelling and property verification","volume":"10","author":"\ufffdit-sadoune","year":"2013","journal-title":"T Large-Scale Data-And Knowledge-Centered Systems"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_16"},{"key":"8","first-page":"140","article-title":"Time constraint patterns for Event B development","author":"cansell","year":"2007","journal-title":"Proc of B'07 Volume 4355 of LNCS"}],"event":{"name":"2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS)","start":{"date-parts":[[2014,8,4]]},"location":"Tianjin, China","end":{"date-parts":[[2014,8,7]]}},"container-title":["2014 19th International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6921524\/6923102\/06923112.pdf?arnumber=6923112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T18:52:18Z","timestamp":1498157538000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6923112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2014.10","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}
