{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:56:38Z","timestamp":1742385398381},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_14","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T05:19:15Z","timestamp":1295327955000},"page":"183-198","source":"Crossref","is-referenced-by-count":11,"title":["Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"G\u00e4rtner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arshad","family":"Jhumka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer Science\u00a082(2), 253\u2013284 (1991)","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/32.663998","volume":"24","author":"A. Arora","year":"1998","unstructured":"Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering\u00a024(1), 63\u201378 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1109\/FTCS.1993.627342","volume-title":"Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing (FTCS 1993)","author":"A. Cau","year":"1993","unstructured":"Cau, A., de Roever, W.-P.: Specifying fault tolerance within stark\u2019s formalism. In: Laprie, J.-C. (ed.) Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing (FTCS 1993), Toulouse, France, June 1993, pp. 392\u2013401. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"14_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"G\u00e4rtner, F.C., Jhumka, A.: Automating the addition of fail-safe fault-tolerance: Beyond fusion-closed specifications. Technical Report IC\/2003\/23, Swiss Federal Institute of Technology (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland (April 2003)","DOI":"10.1007\/978-3-540-30206-3_14"},{"issue":"6","key":"14_CR7","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0020-0190(93)90074-J","volume":"47","author":"H.P. Gumm","year":"1993","unstructured":"Gumm, H.P.: Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions. Information Processing Letters\u00a047(6), 291\u2013294 (1993)","journal-title":"Information Processing Letters"},{"key":"14_CR8","unstructured":"Jhumka, A., G\u00e4rtner, F.C., Fetzer, C., Suri, N.: On systematic design of fast and perfect detectors. Technical Report 200263, Swiss Federal Institute of Technology (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland (September 2002)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45352-0_9","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S.S. Kulkarni","year":"2000","unstructured":"Kulkarni, S.S., Arora, A.: Automating the addition of fault-tolerance. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 82\u201393. Springer, Heidelberg (2000)"},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering\u00a03(2), 125\u2013143 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z. Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing and scheduling. ACM Transactions on Programming Languages and Systems\u00a021(1), 46\u201389 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1080\/095281300454847","volume":"12","author":"H. Mantel","year":"2000","unstructured":"Mantel, H., G\u00e4rtner, F.C.: A case study in the mechanical verification of fault tolerance. Journal of Experimental & Theoretical Artificial Intelligence (JETAI)\u00a012(4), 473\u2013488 (2000)","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence (JETAI)"}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T10:28:39Z","timestamp":1637144919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30206-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231677","9783540302063"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30206-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}