{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:42:47Z","timestamp":1742989367721,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451169"},{"type":"electronic","value":"9783319451176"}],"license":[{"start":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T00:00:00Z","timestamp":1473897600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-45117-6_1","type":"book-chapter","created":{"date-parts":[[2016,9,13]],"date-time":"2016-09-13T23:51:25Z","timestamp":1473810685000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Specification and Refinement for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Autexier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,15]]},"reference":[{"key":"1_CR1","unstructured":"Abrial JR (1999) System study: method and example. \n                    http:\/\/atelierb.eu\/ressources\/PORTES\/Texte\/porte.anglais.ps.gz"},{"key":"1_CR2","unstructured":"Abrial JR, Hoare A (2005) The B-book: assigning programs to meanings. Cambridge University Press"},{"issue":"6","key":"1_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial JR, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in event-B. International J Soft Tools Technol Transf 12(6):447\u2013466","journal-title":"International J Soft Tools Technol Transf"},{"key":"1_CR4","unstructured":"Drechsler R, Soeken M, Wille R (2012) Formal specification level: towards verification-driven design based on natural language processing. In: Forum on specification and design languages (FDL) 2012, IEEE, pp 53\u201358"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Przigoda N, Stoppe J, Seiter J, Wille R, Drechsler R (2015) Verification-driven design across abstraction levels\u2014a case study. In: Euromicro conference on digital system design (DSD)","DOI":"10.1109\/DSD.2015.88"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Przigoda N, Wille R, Drechsler R (2015) Contradiction analysis for inconsistent formal Models. In: International symposium on design and diagnostics of electronic circuits and systems (DDECS)","DOI":"10.1109\/DDECS.2015.52"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Richters M, Gogolla M (2002) OCL: syntax, semantics, and tools. In: Clark T, Warmer J (eds) Object Modeling with the OCL, no. 2263 in Lecture Notes in Computer Science. Springer, pp 42\u201368","DOI":"10.1007\/3-540-45669-4_4"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Said MY, Butler M, Snook C (2009) Class and state machine refinement in UML-B. In: Proceedings of workshop on integration of model-based formal methods and tools (associated with iFM 2009)","DOI":"10.1007\/978-3-642-05089-3_37"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Seiter J, Wille R, K\u00fchne U, Drechsler R (2014) Automatic refinement checking for formal system models. In: Forum on specification and design languages (FDL), pp 1\u20138","DOI":"10.1109\/FDL.2014.7119339"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook C, Butler M (2006) UML-B: formal modeling and design aided by UML. ACM Trans Softw Eng Methodol 15(1):92\u2013122","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Soeken M, Drechsler R (2015) Formal specification level. Springer","DOI":"10.1007\/978-3-319-08699-6"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Stoppe J, Wille R, Drechsler R (2014) Validating systemc implementations against their formal specifications. In: Symposium on integrated circuits and system design (SBCCI)","DOI":"10.1145\/2660540.2660981"},{"key":"1_CR13","unstructured":"The Eclipse Foundation (2012) Emfatic: a textual syntax for EMF ecore (meta-)models. \n                    http:\/\/www.eclipse.org\/emfatic"},{"key":"1_CR14","unstructured":"The IEEE Computer Society (2011) Standard systemc language reference manual. In: IEEE standard 1666\u20132011"}],"container-title":["Lecture Notes in Logistics","Dynamics in Logistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45117-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:51:59Z","timestamp":1558227119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45117-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,15]]},"ISBN":["9783319451169","9783319451176"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45117-6_1","relation":{},"ISSN":["2194-8917","2194-8925"],"issn-type":[{"type":"print","value":"2194-8917"},{"type":"electronic","value":"2194-8925"}],"subject":[],"published":{"date-parts":[[2016,9,15]]},"assertion":[{"value":"15 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}