{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:20:17Z","timestamp":1761488417833},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_14","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:11Z","timestamp":1269882791000},"page":"153-162","source":"Crossref","is-referenced-by-count":1,"title":["Hardware Redundant Vital Computers \u2014 Demonstration of Safety on the Basis of Current Standards"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Krebs","sequence":"first","affiliation":[]},{"given":"Swapan","family":"Mitra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"14_CR1","unstructured":"CENELEC ENV 50129:1998 Railway applications: Safety related electronic systems for signalling"},{"key":"14_CR2","unstructured":"IEC Functional safety of electrical \/ electronic \/ programmable electronic safety-related systems; especially Part 2: Requirements for electrical \/ electronic \/ programmable electronic safety related systems; 1997-02-01"},{"key":"14_CR3","unstructured":"El Koursi, Meganck (ed.): ACRuDA Deliverable D1; State of the Art-Safety Architectures Synthesis; ACRuDA\/INRETS\/MK-PM\/WP1\/D1\/97.12\/V2"},{"key":"14_CR4","unstructured":"Krebs, Mitra: Fundamentals of Multichannel Vital Computers in ACRuDA Deliverable D7: Synthesis and Conclusion; T\u00dcV Report No.: 947\/T 98\/130, 25 September 1998"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T18:09:28Z","timestamp":1550945368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}