{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:08:01Z","timestamp":1742926081210,"version":"3.40.3"},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198383"},{"type":"electronic","value":"9781447120612"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-2061-2_27","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T05:11:37Z","timestamp":1326690697000},"page":"265-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Real-Time Detection of Failures of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Rudolph E.","family":"Seviora","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,1]]},"reference":[{"key":"27_CR1","volume-title":"Functional Specification and Description Language, Recommendations Z.100-Z.104","author":"International Telegraph and Telephone Consultative Committee","year":"1989","unstructured":"International Telegraph and Telephone Consultative Committee, Functional Specification and Description Language, Recommendations Z.100-Z.104. Geneva: ITU, 1989."},{"key":"27_CR2","volume-title":"Annex F.1 to Recommendation Z.100: SDL Formal Definition","author":"International Telegraph and Telephone Consultative Committee","year":"1989","unstructured":"International Telegraph and Telephone Consultative Committee, Annex F.1 to Recommendation Z.100: SDL Formal Definition. Geneva: ITU, 1989."},{"key":"27_CR3","unstructured":"F. Belina, D. Hogreffe and A. Sarma, SDL with Applications from Protocol Specification. Prentice-Hall, 1991."},{"issue":"2","key":"27_CR4","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/24.257793","volume":"41","author":"DB Brown","year":"1992","unstructured":"D. B. Brown et al., \u201cAn Automated Oracle for Software Testing\u201d, IEEE Trans. Reliability, vol. 41, no. 2, pp. 272\u2013280, June 1992.","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"27_CR5","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/2.204684","volume":"26","author":"S Sankar","year":"1993","unstructured":"S. Sankar and M. Mandal, \u201cConcurrent Runtime Monitoring of Formally Specified Programs,\u201d IEEE Computer, vol.26, no.3, pp. 32\u201341, March 1993.","journal-title":"IEEE Computer"},{"key":"27_CR6","first-page":"49","volume-title":"Safety of Computer Control Systems","author":"A Erb","year":"1989","unstructured":"A. Erb, \u201cSafety Measures of the Electronic Interlocking System ELEKTRA\u201d, Safety of Computer Control Systems 1989, Pergamon Press, London, pp. 49\u201352."},{"issue":"7","key":"27_CR7","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.1002\/j.1538-7305.1977.tb00559.x","volume":"56","author":"MN Myers","year":"1977","unstructured":"M. N. Myers, W. A. Routt and K. W. Yoder, \u201cMaintenance Software,\u201d The Bell System Technical journal, vol. 56, No. 7, pp. 1139\u20131167, September 1977.","journal-title":"The Bell System Technical journal"},{"key":"27_CR8","unstructured":"E. Rich, Artificial Intelligence, McGraw-Hill, 1983."},{"key":"27_CR9","unstructured":"D. B. Hay, A Belief Method for Detecting Operational Failures in Soft Real-Time Systems, MASc Thesis, Dept. Elect. and Comp. Engg., University of Waterloo, 1991."},{"key":"27_CR10","unstructured":"J. Li and R. E. Seviora, \u201cReal-Time Supervisor with Reduced Space and Time Requirements,\u201d to appear, Proc. 1993 IEE System Engineering for Real-Time Applications, London, UK, 1993."},{"key":"27_CR11","unstructured":"J. Li and R. E. Seviora, \u201cAn Extension to SDL,\u201d submitted, 1993."},{"key":"27_CR12","unstructured":"P.Lam, R.E.Seviora and F.C.L.Chan, \u201cInvocation-Count Based Structural Prediction Models,\u201d Proc. Second Bellcore Symposium on Issues in Software Reliability Estimation, pp.113\u2013129, Oct. 1992."}],"container-title":["SAFECOMP \u201993"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2061-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T02:03:32Z","timestamp":1560391412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2061-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198383","9781447120612"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2061-2_27","relation":{},"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"1 December 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}