{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:33Z","timestamp":1725485553006},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_11","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"124-139","source":"Crossref","is-referenced-by-count":20,"title":["Combining Methods for the Livelock Analysis of a Fault-Tolerant System"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Buth","sequence":"first","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Brock, N.A., Jackson, D.M.: Formal Verification of a Fault Tolerant Computer. In Proceedings of 1992 Digital Avionics Systems Conference. (1992)","DOI":"10.1109\/DASC.1992.282170"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Buth, B., Cardell-Oliver, R., Peleska, J.: Combining tools for the verification of fault-tolerant systems. In Berghammer, R., Buth, B., Peleska, J. (eds.), Tools for Software Development and Verification, volume 1 of BISS Monographs. Shaker-Verlag, 1998.","DOI":"10.1007\/3-540-49253-4_11"},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0000463","volume-title":"Algebraic Methodology and Software Technology. Proceedings of the AMAST\u201997","author":"B. Buth","year":"1997","unstructured":"Buth, B., Kouvaras, M., Peleska, J., Shi, H.: Deadlock analysis for a fault-tolerant system. In Johnson, M. (ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST\u201997, number 1349 in LNCS, pages 60\u201375. Springer, December 1997."},{"key":"11_CR4","unstructured":"Buth, B., Peleska, J.: Daimler-Benz Aerospace-Project DMS-R, FTC Development-Verification of Avionics Interface AVI. Technical Report, JP Software-Consulting, (1996)."},{"key":"11_CR5","unstructured":"Buth, B., Peleska, J., Shi, H.: Daimler-Benz Aerospace-Project DMS-R, FTC Development-Fault Management Layer (FML): Verification of Deadlock Freedom Technical Report, JP Software-Consulting, (1996)."},{"key":"11_CR6","unstructured":"Daimler-Benz Aerospace: DMS-R FTC Detailed Design Document Volume 3 (FML Software)"},{"key":"11_CR7","volume-title":"Deadlock and Deaklock-Freedom","author":"N. Dathi","year":"1990","unstructured":"Dathi, N.: Deadlock and Deaklock-Freedom, Oxford University, D. Phil Thesis, 1990."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Davies, J.: Specification and Proof in Real-Time CSP. Cambridge University Press (1993).","DOI":"10.1017\/CBO9780511569760"},{"key":"11_CR9","volume-title":"Structured Analysis and System Specification","author":"T. Marco De","year":"1979","unstructured":"De Marco, T.: Structured Analysis and System Specification Englewood Cliffs, N.J., Prentice Hall 1979."},{"key":"11_CR10","unstructured":"Formal Systemes: Failures Divergence Refinement FDR2 Preliminary Manual. Formal Systems (Europe) Lts (1995)."},{"key":"11_CR11","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Internationaal (1985)."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem, In: ACM Transactions on Programming Languages and Systems, Vol. 4, Nr. 3, (1982)","DOI":"10.1145\/357172.357176"},{"key":"11_CR13","unstructured":"Lyu, M. R. (ed.):Handbook of Software Reliability Engineering, IEEE Computer Society Press, Computing McGraw-Hill"},{"key":"11_CR14","unstructured":"Peleska, J., Shi, H.: Daimler-Benz Aerospace-Project DMS-R, FTC Development-Fault Management Layer (FML): Verification of Livelock Freedom. Technical Report, JP Software-Consulting, (1998)."},{"key":"11_CR15","unstructured":"Roscoe, A.W.: Model-Checking CSP. In: A Classical Mind, Eassys in Honour of C.A.R. Hoare. Prentice-Hall Internationaal (1994)."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: CSP and determinism in security modelling. In: IEEE Symposium of Security and Privacy, (1995).","DOI":"10.1109\/SECPRI.1995.398927"},{"key":"11_CR17","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency Prentice-Hall International (1997)."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:45:48Z","timestamp":1556466348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}