{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:43:38Z","timestamp":1725576218173},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231677"},{"type":"electronic","value":"9783540302063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30206-3_4","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:19:15Z","timestamp":1295345955000},"page":"21-35","source":"Crossref","is-referenced-by-count":2,"title":["Mixed Delay and Threshold Voters in Critical Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Chiheb","family":"Kossentini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR2","first-page":"23","volume-title":"Software Fault Tolerance","author":"A. Avizienis","year":"1995","unstructured":"Avizienis, A.: The methodology of n-version programming. In: Lyu, M.R. (ed.) Software Fault Tolerance, pp. 23\u201346. John Wiley, Chichester (1995)"},{"key":"4_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316962","volume-title":"Convergence of probability measures","author":"P. Billingsley","year":"1999","unstructured":"Billingsley, P.: Convergence of probability measures. John Wiley & Sons, Chichester (1999)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_22","volume-title":"Embedded Software","author":"P. Caspi","year":"2002","unstructured":"Caspi, P., Benveniste, A.: Toward an approximation theory for computerised control. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-45352-0_8","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"P. Caspi","year":"2000","unstructured":"Caspi, P., Salem, R.: Threshold and bounded-delay voting in critical control systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 68\u201381. Springer, Heidelberg (2000)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BFb0014736","volume-title":"Hybrid and Real-Time Systems","author":"V. Gupta","year":"1997","unstructured":"Gupta, V., Henzinger, T.A., Jagadeesan, R.: Robust timed automata. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, pp. 331\u2013345. Springer, Heidelberg (1997)"},{"key":"4_CR7","volume-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, Dordrecht (1997)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Broucke, M.: Regularity of solutions and homotopic equivalence for hybrid systems. In: Proceedings of the 37th IEEE Conference on Decision and Control, vol.\u00a04, pp. 4283\u20134288 (1998)","DOI":"10.1109\/CDC.1998.761978"},{"issue":"10","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1109\/PROC.1978.11114","volume":"66","author":"J.H. Wensley","year":"1978","unstructured":"Wensley, J.H., Lamport, L., Goldberg, J., Green, M.W., Lewitt, K.N., Melliar-Smith, P.M., Shostak, R.E., Weinstock, C.B.: SIFT: Design and analysis of a faulttolerant computer for aircraft control. Proceedings of the IEEE\u00a066(10), 1240\u20131255 (1978)","journal-title":"Proceedings of the IEEE"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30206-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:55:13Z","timestamp":1620014113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30206-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231677","9783540302063"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30206-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}