{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:38:06Z","timestamp":1725493086768},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434092"},{"type":"electronic","value":"9783540459972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45997-9_15","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:46:01Z","timestamp":1193521561000},"page":"195-208","source":"Crossref","is-referenced-by-count":1,"title":["On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Tim","family":"Oodes","sequence":"first","affiliation":[]},{"given":"Holger","family":"Krisp","sequence":"additional","affiliation":[]},{"given":"Christian","family":"M\u00fcller-Schloer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"15_CR1","unstructured":"Krisp, H., M\u00fcller-Schloer, C.: \u201cObjektorientierte Modellierung und Simulation eingebetteter Systeme mit ClearSim-MultiDomain und UML\u201d, ASIM 2001, (15. Symposium Simulationstechnik), Paderborn, September 2001, S. 79-84"},{"key":"15_CR2","unstructured":"Meyer, B.: \u201cBuilding bug-free O-O software: An Introduction of Design by ContractTM\u201d, \n                    http:\/\/www.eiffel.com\/doc\/manuals\/technology\/contract\/page.html"},{"key":"15_CR3","unstructured":"Meyer, B.: \u201cObject-Oriented Software Construction\u201d, 2nd Edition, Prentice Hall 2000"},{"key":"15_CR4","unstructured":"Obayashi, M., Kubota, H., McCarron, S.P., Mallet, L.: "The Assertion Based Testing Tool for OOP: ADL2", ICSE 1998"},{"key":"15_CR5","unstructured":"Scherber, S.: \u201cModellierung und Simulation software-intensiver eingebetteter Systeme\u201d, Shaker Verlag 2001"},{"key":"15_CR6","unstructured":"Warmer, J., Kleppe, A.: \u201cThe Object Constraint Language\u201d, Addison-Wesley 1999"},{"key":"15_CR7","unstructured":"Welge, R.: \u201cSDL.RT basierter Entwurf und Implementierung zeit-und sicherheitskritischer Systeme\u201d, PhD Thesis (University of Hannover) 2001"}],"container-title":["Lecture Notes in Computer Science","Trends in Network and Pervasive Computing \u2014 ARCS 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45997-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T16:23:42Z","timestamp":1547742222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45997-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434092","9783540459972"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45997-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}