{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:58:51Z","timestamp":1725674331478},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_6","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"84-97","source":"Crossref","is-referenced-by-count":17,"title":["An Instrumentation-Based Approach to Controller Model Validation"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Steven T.","family":"Sims","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Anonymous: Model-Based Testing and Validation of Control Software with Reactis. Reactive Systems, Inc. (2003), \n                    \n                      http:\/\/www.reactive-systems.com\/papers\/bcsf.pdf"},{"key":"6_CR2","unstructured":"Rau, A.: Model-Based Development of Embedded Automotive Control Systems. PhD thesis, Universitat Tubingen (2003)"},{"key":"6_CR3","unstructured":"Lepper, M.: An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications. PhD thesis, Technische Universitat Belin (2004)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bouali, A., Dion, B.: Formal verification for model-based development. In: Proceedings of SAE 2005 World Congress\u00a005AE-235 (2005)","DOI":"10.4271\/2005-01-0781"},{"key":"6_CR5","unstructured":"Anonymous: Embedded Validator Produktinformation. Embedded Systems AG (2006), \n                    \n                      http:\/\/www.osc-es.de\/products\/en\/embeddedvalidator.php"},{"key":"6_CR6","unstructured":"Anonymous: Safety-Checker Blockset Documentation. TNI-Software (2006), \n                    \n                      http:\/\/www.vnvware.com\/"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Pohlheim, H., Conrad, M.: Evolutionary safety testing of embedded control software by automatically generating compact test data sequences. In: Proceedings of SAE 2005 World Congress\u00a02005-01-0750 (2005)","DOI":"10.4271\/2005-01-0750"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:32:39Z","timestamp":1620016359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}