{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:04:32Z","timestamp":1743037472110,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":12,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658099930"},{"type":"electronic","value":"9783658099947"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-658-09994-7_20","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"302-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Development of Consistent Formal Models"],"prefix":"10.1007","author":[{"given":"Julia","family":"Seiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York, NY , USA (1996)"},{"key":"20_CR2","unstructured":"Bormann, J.: Complete functional verification. In: Formal Methods in Computer Aided Design (FMCAD), Industrial Experience Report (2009)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Claessen, K.: A coverage analysis for safety property lists. In: Formal Methods in Computer Aided Design (FMCAD). pp.\u00a0139\u2013145. IEEE (Nov 2007)","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"20_CR4","unstructured":"Drechsler, R., Seiter, J., Soeken, M.: Coverage on the formal specification level. In: Int\u2019l Workshop on Design and Implementation of Formal Tools and Systems (2014)"},{"key":"20_CR5","unstructured":"Gro\u00dfe, D., K\u00fchne, U., Drechsler, R.: Analyzing functional coverage in bounded model checking. Computer-Aided Design of Circuits and Systems (TCAD) pp.\u00a01-11 (2008), http:\/\/ieeexplore.ieee.org\/xpls\/abs_alLjsp?arnumber=4544863"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Hilken, C., Seiter, J., Wille, R., Kuhne, U., Drechsler, R.: Verifying consistency between activity diagrams and their corresponding ocl contracts. In: Forum on specification and Design Languages (2014)","DOI":"10.1109\/FDL.2014.7119340"},{"key":"20_CR7","unstructured":"Object Management Group: Model driven architecture \u2013 mda guide rev. 2.0. Tech. rep. (2014)"},{"key":"20_CR8","volume-title":"The Unified Modeling Language reference manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language reference manual. Addison-Wesley Longman, Essex, UK (Jan 1999)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Seiter, J., Wille, R., Kuhne, U., Drechsler, R.: Automatic refinement checking for formal system models. In: Forum on specification and Design Languages (2014)","DOI":"10.1109\/FDL.2014.7119339"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Seiter, J., Wille, R., Soeken, M., Drechsler, R.: Determining relevant model elements for the verification of uml\/ocl specifications. In: Design, Automation and Test in Europe (2013)","DOI":"10.7873\/DATE.2013.247"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011. p.\u00a016 (2011)","DOI":"10.1109\/DATE.2011.5763177"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/54.936247","volume":"18","author":"S. Tasiran","year":"2001","unstructured":"Tasiran, S., Keutzer, K.: Coverage metrics for functional validation of hardware designs. Design and Test of Computers 18, 36\u201345 (2001)","journal-title":"Design and Test of Computers"}],"container-title":["Formal Modeling and Verification of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-09994-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T09:02:09Z","timestamp":1674205329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_20","relation":{},"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}