{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:09:24Z","timestamp":1754482164884},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_33","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:28Z","timestamp":1269897208000},"page":"356-359","source":"Crossref","is-referenced-by-count":2,"title":["Fault Models for Embedded Systems"],"prefix":"10.1007","author":[{"given":"Jens Chr.","family":"Godskesen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"issue":"3","key":"33_CR1","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"T.S Chow. Testing Software design modeis by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178\u2013187, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR2","first-page":"163","volume-title":"Proceedings of the First Joined International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE\/PSTV\u201996)","author":"A. Petrenko","year":"1996","unstructured":"A. Petrenko, N. Yevtushenko, and G. v. Buchmann. Fault modeis f\u00fcr testing in context. In Proceedings of the First Joined International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE\/PSTV\u201996),pages 163\u2013178, University of Kaiserslautern, Department of Informatics, October 1996. Chapman & Hall."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T14:02:23Z","timestamp":1551103343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}