{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:04:16Z","timestamp":1725555856599},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642121036"},{"type":"electronic","value":"9783642121043"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12104-3_4","type":"book-chapter","created":{"date-parts":[[2010,5,20]],"date-time":"2010-05-20T13:00:35Z","timestamp":1274360435000},"page":"8-23","source":"Crossref","is-referenced-by-count":1,"title":["Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Echtle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Kimmeskamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1145\/951710.951734","volume-title":"Proc. of CASES","author":"M. Baleani","year":"2003","unstructured":"Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, L., Peri, M., Pezzini, S.: Fault-Tolerant Platforms for Automotive Safety-Critical Applications. In: Proc. of CASES, pp. 170\u2013177. ACM, New York (2003)"},{"key":"4_CR3","unstructured":"Electronic Architecture and Systems Engineering for Integrated Safety Systems (EASIS): Discussions and findings on fault tolerance, http:\/\/www.easis-online.org\/wEnglish\/download\/Deliverables\/EASIS_Deliverable_D1.2-5_V1.0.pdf (2009-10-09)"},{"key":"4_CR4","unstructured":"Echtle, K.: Fault-Masking with Reduced Redundant Communication. Fault-Tolerant Computing Symposium FTCS-16, Digest of Papers. IEEE Press, Los Alamitos (1986)"},{"key":"4_CR5","unstructured":"Echtle, K., Kimmeskamp, T.: Fault-Tolerant and Fail-Safe Control Systems Using Remote Redundancy. In: Proc. of ARCS (2009)"},{"key":"4_CR6","first-page":"44","volume":"3","author":"K. Echtle","year":"2004","unstructured":"Echtle, K., Jochim, M., Tappe, D.: Sicherheit und Fehlertoleranz \u2013 Zusammenspiel sicherheitsrelevanter Software und fehlertoleranter Datenbusse. Automotive Elektronik\u00a03, 44\u201348 (2004)","journal-title":"Automotive Elektronik"},{"key":"4_CR7","unstructured":"Echtle, K., Kimmeskamp, T., Jacquet, S., Malass\u00e9, O., Pock, M., Walter, M.: Reliability Analysis of a Control System Built Using Remote Redundancy. In: Advances in Risk and Reliability Technology Symposium (AR2TS), Conf. Proc., Loughborough (2009)"},{"key":"4_CR8","unstructured":"Int. Electrotechnical Commission (IEC): Functional safety and IEC 61508, http:\/\/www.iec.ch\/zone\/fsafety\/pdf_safe\/hld.pdf (date of retrieval: 2009-10-09)"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.3139\/9783446415300","volume-title":"FlexRay","author":"M. Rausch","year":"2007","unstructured":"Rausch, M.: FlexRay. Hanser Publishing House, Munich (2007)"},{"key":"4_CR10","unstructured":"Uppaal \u2212 an integrated tool environment for modeling, validation and verification of real-time systems, http:\/\/www.it.uu.se\/research\/group\/darts\/uppaal\/about.shtml#introduction (date of retrieval: 2009-12-08)"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12104-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T07:07:04Z","timestamp":1685603224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12104-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642121036","9783642121043"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12104-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}