{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:19Z","timestamp":1725455719150},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025032","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:56:54Z","timestamp":1132369014000},"page":"34-49","source":"Crossref","is-referenced-by-count":5,"title":["An approach to safety critical systems design"],"prefix":"10.1007","author":[{"given":"Miroslav","family":"\u0160v\u00e9da","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"No.5","key":"3_CR1","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/PROC.1986.13527","volume":"74","author":"A. Avi\u017eienis","year":"1986","unstructured":"A. Avi\u017eienis and J.-C. Laprie. Dependable Computing: From Concepts to Design Diversity. Proc. IEEE, Vol. 74, No.5, 1986, pages 629\u2013638.","journal-title":"Proc. IEEE"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0165-6074(93)90130-D","volume":"38","author":"K. Brink","year":"1993","unstructured":"K. Brink and R. Huijsman and J. van Katwijk. SEAL: A Simple Language for Prototyping Action-Event Specifications. Microprocessing and Microprogramming, Vol. 38, 1993, pages 87\u201395.","journal-title":"Microprocessing and Microprogramming"},{"key":"3_CR3","series-title":"LNCS 873","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1007\/3-540-58555-9_120","volume-title":"FME'94: Industrial Benefit of Formal Methods","author":"J. Cu\u00e9llar","year":"1994","unstructured":"J. Cu\u00e9llar and I. Wildgruber and D. Barnard. Combining the Design of Industrial Systems with Effective Verification Techniques. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods. LNCS 873, Springer-Verlag, Berlin 1994, pages 639\u2013658."},{"key":"3_CR4","first-page":"80","volume":"SE-11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy. Timing constraints of real-time systems. IEEE Trans. SE-11, pages 80\u201386, 1985.","journal-title":"IEEE Trans"},{"key":"3_CR5","first-page":"305","volume-title":"Real-Time Systems, Theory and Applications","author":"A. Dix","year":"1990","unstructured":"A. Dix and R. Stone and H.S.M. Zedan. Design Issues for Reliable Time-Critical Systems. In: Zedan H.S.M.: Real-Time Systems, Theory and Applications. North-Holland, Amsterdam 1990, pages 305\u2013322."},{"key":"3_CR6","series-title":"LNCS 873","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-58555-9_105","volume-title":"FME'94: Industrial Benefit of Formal Methods","author":"A.S. Evans","year":"1994","unstructured":"A.S. Evans. Specifying & Verifying Concurrent Systems Using Z. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods. LNCS 873, Springer-Verlag, Berlin 1994, pages 366\u2013380."},{"key":"3_CR7","first-page":"81","volume-title":"Real-Time Systems, Theory and Applications","author":"R. Hale","year":"1990","unstructured":"R. Hale. Using Temporal Logic for Prototyping: The Design of a Lift Controller. In H.S.M. Zedan, editor, Real-Time Systems, Theory and Applications. North-Holland, Amsterdam, 1990, pages 81\u2013118."},{"key":"3_CR8","volume-title":"The Art of Computer Programming: Basic Algorithms (Vol. 1)","author":"D.E. Knuth","year":"1969","unstructured":"D.E. Knuth. The Art of Computer Programming: Basic Algorithms (Vol. 1). Addison-Wesley, London, 1969."},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. CACM 21, pages 558\u2013565, 1978.","journal-title":"CACM"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"N.G. Leveson. Software Safety in Computer-Controlled Systems. Computer, February 1984, pages 48\u201355.","DOI":"10.1109\/MC.1984.1659054"},{"issue":"No.3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N.G. Leveson","year":"1987","unstructured":"N.G. Leveson and J.L. Stolzy. Safety Analysis Using Petri Nets. IEEE Trans. SE, Vol. 13, No.3, 1987, pages 386\u2013397.","journal-title":"IEEE Trans. SE"},{"issue":"No.2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/12.2145","volume":"37","author":"A. Mahmood","year":"1988","unstructured":"A. Mahmood and E.J. McCluskey. Concurrent Error Detection Using Watchdog Processors \u2014 A Survey. IEEE Trans. Comp., Vol. 37, No.2, 1988, pages 160\u2013174.","journal-title":"IEEE Trans. Comp."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"R.A. Maxion and D.P. Siewiorek and S.A. Elkind. Techniques and Architectures for Fault-Tolerant Computing. Ann. Rev. Comput. Sci., No. 2, 1987, pages 469\u2013520.","DOI":"10.1146\/annurev.cs.02.060187.002345"},{"issue":"No.2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/359060.359076","volume":"22","author":"D.P. Reed","year":"1979","unstructured":"D.P. Reed and R.K. Kanodia. Synchronization with Eventcounts and Sequencers. CACM, Vol. 22, No.2, 1979, pages 115\u2013123.","journal-title":"CACM"},{"key":"3_CR15","unstructured":"F.B. Schneider. Fail-Stop Processors. COMPCON'83 SPRING, Digest of Papers 26th IEEE CS Int. Conf., 1983, pages 66\u201370."},{"key":"3_CR16","unstructured":"M. \u0160v\u00e9 da. Design and Implementation of Embedded Distributed Systems (In Czech). Habilitation Thesis. Technical University of Brno, 1991."},{"issue":"No.4","key":"3_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0165-6074(94)90136-8","volume":"40","author":"M. \u0160v\u00e9 da","year":"1994","unstructured":"M. \u0160v\u00e9 da. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming, Vol. 40, No.4, May 1994, pages 291\u2013301.","journal-title":"Microprocessing and Microprogramming"},{"issue":"No.2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1080\/019697296126642","volume":"27","author":"M. \u0160v\u00e9 da","year":"1996","unstructured":"M. \u0160v\u00e9 da. Development Environment for Local-Time Design Method. Cybernetics and Systems, Vol. 27, No.2, 1996, pages 197\u2013212.","journal-title":"Cybernetics and Systems"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0165-6074(87)90068-8","volume":"21","author":"A. Valmari","year":"1987","unstructured":"A. Valmari. Reachability Analysis-Based Validation of Embedded Systems. Microprocessing and Microprogramming, Vol. 21, 1987, pages 393\u2013404.","journal-title":"Microprocessing and Microprogramming"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Y. Xinyao and W. Ji and Z. Chaochen and P.K. Pandya. Formal Design of Hybrid Systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 738\u2013755. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_193"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:38:43Z","timestamp":1586554723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0025032","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}