{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:09:19Z","timestamp":1729613359363,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119339","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T15:03:47Z","timestamp":1434121427000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["Automatic refinement checking for formal system models"],"prefix":"10.1109","author":[{"given":"Julia","family":"Seiter","sequence":"first","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"K\u00fchne","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"Modeling in Event-B System and Software Engineering","year":"2010","key":"ref11"},{"journal-title":"Using Z specification refinement and proof Upper Saddle River","year":"1996","author":"woodcock","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125811"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0056-1"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","article-title":"The linear time - branching time spectrum","volume":"458","author":"glabbeek","year":"1990","journal-title":"CONCUR '90 Theories of Concurrency Unification and Extension"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384313"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.44"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0007-9"},{"key":"ref19","first-page":"59","article-title":"Computing (bi)simulation relations preserving CT L:X-for ordinary and fair kripke structures","volume":"12","author":"bulychev","year":"2006","journal-title":"Mathemathical Methods and Algorithms ISP RAS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","article-title":"UML2Alloy: A Challenging Model Transformation","author":"anastasakis","year":"2007","journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74782-6_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763177"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"journal-title":"Systems Engineering with SysM\/UUML Modeling Anal-ysis Design","year":"2008","author":"weilkiens","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02949-3_8"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_36"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34831-5_4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_24"},{"key":"ref24","first-page":"174","article-title":"Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0220-5"},{"journal-title":"Failures-Divergence Refinement?FDR 2 User Manual","year":"2005","author":"goldsmith","key":"ref25"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119339.pdf?arnumber=7119339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T13:34:44Z","timestamp":1498224884000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119339","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}