{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:40:17Z","timestamp":1743122417604,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":7,"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_14","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"284-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Testing Against Complex SysML Models"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Hilken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Tests and Proofs. pp.\u00a090-104 (Jul 2009)","DOI":"10.1007\/978-3-642-02949-3_8"},{"key":"14_CR2","unstructured":"Hilken, C., Peleska, J., Wille, R.: A unified formulation of behavioral semantics for sysml models. In: 3rd International Conference on Model-Driven Engineering and Software Development (2015)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Hilken, C., Seiter, J., Wille, R., K\u00fchne, U., Drechsler, R.: Verifying consistency between activity diagrams and their corresponding ocl contracts. In: Forum on Specification & Design Languages (2014)","DOI":"10.1109\/FDL.2014.7119340"},{"key":"14_CR4","unstructured":"Object Management Group: OMG Systems Modeling Language (OMG SysMLTM). Tech. rep., Object Management Group (2010), OMG Document Number: formal\/2010-06\u201302"},{"key":"14_CR5","unstructured":"Object Management Group: OMG Object Constraint Language (OCL). Tech. rep., Object Management Group (2012), oMg Document Number: formal\/2012-01\u201301"},{"key":"14_CR6","volume-title":"Proceedings Eighth Workshop on Model-Based Testing","author":"J. Peleska","year":"2013","unstructured":"Peleska, J.: Industrial-strength model-based testing \u2013 state of the art and current challenges. In: Petrenko, A.K., Schlingloff, H. (eds.) Proceedings Eighth Workshop on Model-Based Testing, Rome, Italy, 17th March 2013. Electronic Proceedings in Theoretical Computer Science, vol.\u00a0111, pp.\u00a03-28. Open Publishing Association (2013)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation and Test in Europe. pp.\u00a01077\u20131082. IEEE Computer Society (Mar 2011)","DOI":"10.1109\/DATE.2011.5763177"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T00:58:15Z","timestamp":1676941095000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_14","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"}}]}}