{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:33Z","timestamp":1725516513375},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_25","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"237-244","source":"Crossref","is-referenced-by-count":4,"title":["Reliable Software Systems Design: Defect Prevention, Detection, and Containment"],"prefix":"10.1007","author":[{"given":"Gerard J.","family":"Holzmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Joshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Anderson, T., Barrett, P.A., Halliwell, D.N., Moudling, M.L.: An evaluation of software fault tolerance in a practical system. In: Proc. Fault Tolerant Computing Symposium, pp. 140\u2013145 (1985)"},{"issue":"1","key":"25_CR2","first-page":"96","volume":"SE-12","author":"J.C. Knight","year":"1986","unstructured":"Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of In-dependence in Multi-version Programming. IEEE Transactions on SoftwareEngineering\u00a0SE-12(1), 96\u2013109 (1986)","journal-title":"IEEE Transactions on SoftwareEngineering"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Reeves, G., Neilson, T.: The Mars Rover Spirit Flash Anomaly. In: IEEE Aerospace Conference, Big Sky, MT (March, 2005)","DOI":"10.1109\/AERO.2005.1559723"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Rasmussen, R.D., Litty, E.C.: A Voyager attitude control perspective on fault toler-ant systems. In: Proc. AIAA Conf. Alburquerque, NM, August 1981, pp. 241\u2013248 (1981)","DOI":"10.2514\/6.1981-1812"},{"key":"25_CR5","unstructured":"Rushby, J.: Partitioning in Avionics Architectures: Requirements, Mechanisms, and As-surance. Draft technical report, Computer Science Laboratory, SRI (1998)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Sha, L.: Using Simplicity to Control Complexity. IEEE Software, 20\u201328 (July-August, 2001)","DOI":"10.1109\/MS.2001.936213"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Weber, D.G.: Formal specification of fault-tolerance and its relation to computer security. In: Proc. 5th Int. Workshop on Software Spec. and Design, Pittsburgh, PA, May 1989, pp. 273\u2013277 (1989)","DOI":"10.1145\/75199.75240"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:42:50Z","timestamp":1557733370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}