{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:39Z","timestamp":1725663519390},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:27:43Z","timestamp":1330212463000},"page":"271-289","source":"Crossref","is-referenced-by-count":0,"title":["Temporal logic applied to reliability modelling of fault-tolerant systems"],"prefix":"10.1007","author":[{"given":"Klaus D.","family":"Heidtmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/TR.1979.5220476","volume":"R-28","author":"J.A. Abraham","year":"1979","unstructured":"Abraham J.A., An improved algorithm for network reliability, IEEE Trans. Reliability, vol. R-28, 1979 Apr, pp. 58\u201361","journal-title":"IEEE Trans. Reliability"},{"issue":"no.3","key":"15_CR2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/T-C.1973.223703","volume":"C-22","author":"T.F. Arnold","year":"1973","unstructured":"Arnold T.F., The concept of coverage and its effect on the reliability model of a repairable system, IEEE Trans. Computers, vol. C-22, no. 3, 1973, pp. 251\u2013254.","journal-title":"IEEE Trans. Computers"},{"issue":"no.4","key":"15_CR3","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/12.54852","volume":"C-39","author":"M. Balakrishnan","year":"1990","unstructured":"Balakrishnan M., Raghavendra C.S., On reliability modeling of closed fault-tolerant computer systems, IEEE Trans. Computers, vol. C-39, no. 4, 1990, pp. 571\u2013575.","journal-title":"IEEE Trans. Computers"},{"key":"15_CR4","volume-title":"Statistical Theory of Reliability and Life Testing","author":"R.E. Barlow","year":"1975","unstructured":"Barlow R.E., Proschan F., Statistical Theory of Reliability and Life Testing, Holt, Rinehart and Winston, New York, 1975"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/TR.1984.5221843","volume":"R-33","author":"R.E. Barlow","year":"1984","unstructured":"Barlow R.E., Heidtmann K.D., Computing k-out-of-n structure reliability, IEEE Trans. Reliability, vol. R-33, 1984, pp. 322\u2013323.","journal-title":"IEEE Trans. Reliability"},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1287\/moor.3.4.275","volume":"3","author":"R.E. Barlow","year":"1978","unstructured":"Barlow R.E., Wu A.S., Coherent systems with multistate components, Math. Operations Research, vol. 3, 1978, pp. 275\u2013281.","journal-title":"Math. Operations Research"},{"issue":"no.1","key":"15_CR7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1080\/00401706.1961.10489927","volume":"3","author":"Z.W. Birnbaum","year":"1961","unstructured":"Birnbaum Z.W., Esary J.D., Saunders S.C., Multi-component systems and structures and their reliability, Technometrics, vol. 3, no. 1, 1961, pp. 55\u201377","journal-title":"Technometrics"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"Ben-Ari M., Manna Z., Pnueli A., The temporal logic of branching time, Acta Inf., vol. 20, 1983, pp. 207\u2013226","journal-title":"Acta Inf."},{"issue":"no.3","key":"15_CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TC.1982.1675978","volume":"C-31","author":"G.V. Bochmann","year":"1982","unstructured":"Bochmann G.V., Hardware specification with temporal logic: An example, IEEE Trans. Computers, vol. C-31, no. 3, 1982, pp. 223\u2013231","journal-title":"IEEE Trans. Computers"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"1306","DOI":"10.1109\/T-C.1971.223132","volume":"C-20","author":"W.G. Bouricius","year":"1971","unstructured":"Bouricius W.G. et al., Reliability modeling for fault-tolerant computers, IEEE Trans. Computers, vol. C-20, 1971, pp. 1306\u20131311","journal-title":"IEEE Trans. Computers"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Geist R.M., Trivedi K.S., Ultra-reliability prediction for fault-tolerant computers, IEEE Trans. Computers, vol. C-32, no. 12, 1983.","DOI":"10.1109\/TC.1983.1676172"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"735","DOI":"10.2307\/3212967","volume":"17","author":"W.S. Griffith","year":"1980","unstructured":"Griffith W.S., Multistate reliability analysis, J. Appl. Prob., vol. 17, 1980, pp 735\u2013744.","journal-title":"J. Appl. Prob."},{"issue":"10\/11","key":"15_CR13","first-page":"547","volume":"21","author":"K.D. Heidtmann","year":"1985","unstructured":"Heidtmann K.D., Reliability analysis of sequential two-state systems, J. Inf. Processing & Cybernetics, vol. 21, 10\/11, 1985, pp. 547\u2013555","journal-title":"J. Inf. Processing & Cybernetics"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1109\/24.44172","volume":"R-38","author":"K.D. Heidtmann","year":"1989","unstructured":"Heidtmann K.D., Smaller sums of disjoint products by subproduct inversion, IEEE Trans. Reliability, vol. R-38, 1989, pp 305\u2013311.","journal-title":"IEEE Trans. Reliability"},{"key":"15_CR15","unstructured":"Heidtmann K.D., A class of noncoherent systems and their reliability analysis, Dig. FTCS-11, 1981, pp. 96\u201398"},{"key":"15_CR16","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1974","unstructured":"Hughes G.E., Cresswell M.J., An Introduction to Modal Logic, Methuen, London, 1974"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Lamport L., Sometime is sometimes not never \u2014 On the temporal logic of programs, J. ACM, 1980, pp. 174\u2013185","DOI":"10.1145\/567446.567463"},{"issue":"no.6","key":"15_CR18","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/TC.1976.1674656","volume":"C-25","author":"J. Losq","year":"1976","unstructured":"Losq J., A highly efficient redundancy scheme: Self-purging redundancy, IEEE Trans. Computers, vol. C-25, no. 6, 1976, pp. 569\u2013578","journal-title":"IEEE Trans. Computers"},{"issue":"no.2","key":"15_CR19","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski B., A temporal logic for multilevel reasoning about hardware, IEEE Computer, vol. 18, no. 2, 1985, pp. 10\u201319","journal-title":"IEEE Computer"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Ng Y.W., Avizienis A.A., A unified model for fault-tolerant computers, IEEE Trans. Computers, vol. C-29, no. 11, 1980","DOI":"10.1109\/TC.1980.1675495"},{"key":"15_CR21","volume-title":"Time and Modality","author":"A.N. Prior","year":"1957","unstructured":"Prior A.N., Time and Modality, Oxford University Press, Oxford, 1957"},{"key":"15_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N. Rescher","year":"1971","unstructured":"Rescher N., Urquhart A., Temporal Logic, Springer, New York, 1971"},{"issue":"no.12","key":"15_CR23","first-page":"33","volume":"COM-30","author":"R.L. Schwartz","year":"1982","unstructured":"Schwartz R.L., Melliar-Smith P.M., From state machines to temporal logic: Specification methods for protocol standards, IEEE Trans. Communications, vol. COM-30, no. 12, 1982, pp. 33\u201343","journal-title":"IEEE Trans. Communications"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:25Z","timestamp":1605646645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}