{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:28:35Z","timestamp":1778300915481,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540606093","type":"print"},{"value":"9783540484639","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60609-2_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:47:06Z","timestamp":1330289226000},"page":"206-235","source":"Crossref","is-referenced-by-count":6,"title":["Development of safety-critical real-time systems"],"prefix":"10.1007","author":[{"given":"Hans","family":"Rischel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Cuellar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"M\u00f8rk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isolde","family":"Wildgruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport. An Old-Fashioned Recipe for Real Time. Research Report 91, Digital Equipment Corporation System Research Center 1992.","DOI":"10.1007\/BFb0031985"},{"key":"11_CR2","unstructured":"J.-R. Abrial: Steam-boiler control specification problem, August 10, 1994."},{"key":"11_CR3","unstructured":"J,-R. Abrial, E. B\u00f6rger, H. Langmaack: Additional Information Concerning the Physical Behaviour of the Steam Boiler, note send to the participants in the Dagstuhl seminar, 1995."},{"key":"11_CR4","unstructured":"Dieter Barnard, and Simon Crosby. A Tutorial Introduction to TLT. Part III: Case Study \u2014 an ATM signalling protocol. In Proc. of PSTV'95, 1995"},{"key":"11_CR5","unstructured":"Dines Bj\u00f8rner, H. Langmaack, C.A.R. Hoare (eds): ProCoS I Final Deliverable, ProCoS Technical Report ID\/DTH DB 13, 1993."},{"key":"11_CR6","first-page":"128","volume":"No. 50","author":"J.P. Bowen","year":"1993","unstructured":"J.P. Bowen et.al.: A ProCoS II Project Description, ESPRIT BRA 7071, EATCS Bull., No. 50, pp. 128\u2013137, 1993.","journal-title":"EATCS Bull."},{"key":"11_CR7","unstructured":"J.P. Bowen et.al.: A ProCoS-WG Working Group Description, ESPRIT BRA 8694, to appear in: EATCS Bull., No. 94, 1994."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"J.P. Bowen, M. Fr\u00e4nzle, E.-R. Olderog, A.P. Ravn: Developing Correct Systems, Proc 5'th EuroMicro Workshop on Real-Time Systems, pp. 176\u2013187, IEEE Press, 1993.","DOI":"10.1109\/EMWRT.1993.639088"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Holger Busch. First-order automation for higher-order-logic theorem proving. In HOL 1994 \u2014 7th International Conference on Higher Order Logic Theorem Proving and its Applications. Springer-Verlag, LNCS 859, September 1994.","DOI":"10.1007\/3-540-58450-1_37"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"K.M. Chandy, J. Mishra. Parallel Program Design. A Foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"J. Cu\u00e9llar, D. Barnard, and M. Huber. Concurrency and Synchronization in TLT. In Prof. R. Gotzhein, editor, Proc. of GI-Fachgespr\u00e4ch on Formal Description Techniques, Kaiserslautern, June 1995. GI.","DOI":"10.1007\/3-540-58867-1_53"},{"key":"11_CR12","volume-title":"Technical report","author":"J. Cu\u00e9llar","year":"1995","unstructured":"J. Cu\u00e9llar, D. Barnard, and M. Huber. TLT Basics. Technical report, ZFE T SE 1, Siemens AG, D-81370 Munich, Germany, July 1995."},{"key":"11_CR13","first-page":"639","volume-title":"Proc. of FME'94","author":"J. R. Cu\u00e9llar","year":"1994","unstructured":"J. R. Cu\u00e9llar, I. Wildgruber, and D. Barnard. Combining the Design of Industrial Systems with Effective Verification Techniques. In M. Naftalin, T. Denvir, and M. Betran, editors, Proc. of FME'94, Volume 873 of LNCS, pages 639\u2013658, Barcelona, Spain, October 1994. Springer-Verlag."},{"key":"11_CR14","volume-title":"Internal report","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar and Dieter Barnard. A Tutorial Introduction to TLT. Part I: The Design of Distributed Systems. Internal report, Siemens Corporate Research and Development, ZFE T SE 1, D-81730 Munich, Germany, 1994."},{"key":"11_CR15","volume-title":"Internal report","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. A Tutorial Introduction to TLT. Part II: The Verification of Distributed Systems. Internal report, Siemens Corporate Research and Development, ZFE T SE 1, D-81730 Munich, Germany, 1994."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.): Hybrid Systems, LNCS 736, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"11_CR17","first-page":"209","volume":"600","author":"M.R. Hansen","year":"1992","unstructured":"M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus. Real-Time: Theory in Practice, REX Workshop. Mook, The Netherlands, June 1991. Proceedings, LNCS 600, pp. 209\u2013225, 1992.","journal-title":"LNCS"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"J. Hooman. Correctness of real time systems by construction. In Symposium FTRTFT'94 (Formal Techniques in Real Time and Fault Tolerant Systems), LNCS, vol. 863, 1994.","DOI":"10.1007\/3-540-58468-4_158"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"J. Hooman. Extending Hoare logic to real-time. Formal Aspects of Computing, to appear, 1994.","DOI":"10.1007\/BF01213604"},{"issue":"9","key":"11_CR21","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. K-L. Mok. Safety analysis of timing properties in real-time systems. IEEE Trans. Software Eng., 12(9):890\u2013904, September 1986.","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"11_CR22","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"SE-17","author":"M.S. Jaffe","year":"1991","unstructured":"M.S. Jaffe, N.G. Leveson, M.P.E. Heimdahl and B.E. Melhart: Software Requirements Analysis for Real-Time Process-Control Systems, IEEE Trans. Software Eng., vol. SE-17, 3, pp. 241\u2013258, 1991.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"M. Joseph, editor. Proceedings Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of LNCS. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50302-1"},{"issue":"4","key":"11_CR24","first-page":"255","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. RealTime Systems, 2(4):255\u2013299, November 1990.","journal-title":"RealTime Systems"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.): Symposium FTRTFT'94 (Formal Techniques in Real Time and Fault Tolerant Systems), LNCS, vol. 863, 1994.","DOI":"10.1007\/3-540-58468-4"},{"key":"11_CR26","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"12","author":"N.G. Leveson","year":"1994","unstructured":"N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, J.D. Reese: Requirements Specification for Process-Control Systems, IEEE Trans. Software Eng., vol. 12, pp. 684\u2013707, 1994.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR27","unstructured":"L. Lamport. The Temporal Logic of Actions. Research Report 79, Digital Equipment Corporation System Research Center 1991."},{"key":"11_CR28","unstructured":"L. Ljung: System Identification. Theory for the User, Prentice-Hall, 1987."},{"key":"11_CR29","volume-title":"Implementation and Documentation (README and inline) at FZI","author":"A. L\u00f6tzbeyer","year":"1995","unstructured":"A. L\u00f6tzbeyer Simulator for the Dagstuhl Seminar 1995: \u201cSteam-Boiler Control Specification Problem\u201d Implementation and Documentation (README and inline) at FZI (Forschungszentrum f\u00fcr Informatik) Karlsruhe, 1995."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"D.G. Luenberger: Introduction to Dynamic Systems. Theory, Models & Applications, Wiley, 1979.","DOI":"10.21236\/ADA080206"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verifying hybrid systems, pp. 4\u201335 in [16].","DOI":"10.1007\/3-540-57318-6_22"},{"issue":"2","key":"11_CR32","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski. A temporal logic for multi-level reasoning about hardware. IEEE Computer, 18(2):10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"11_CR34","unstructured":"J. S. Ostroff. Temporal Logic for Real-time Systems. Advanced Software Development Series. Wiley, 1989."},{"key":"11_CR35","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. Ravn","year":"1993","unstructured":"A.P. Ravn, H. Rischel, K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. Software Eng., vol. 19, pp. 41\u201355, 1993","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR36","unstructured":"A.P. Ravn. Design of Embedded Real-time Computing Systems, Manuscript, Department of Computer Science, Technical University of Denmark, September 1994."},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"R. L. Schwartz, P. M. Melliar-Smith, and F. H. Vogt. An interval logic for higher-level temporal reasoning. In Proceedings of the 2nd. Annual ACM Symposium on Principles of Distributed Computing, pages 173\u2013186, 1983.","DOI":"10.1145\/800221.806720"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"J. Vytopil, editor. Proceedings Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55092-5"},{"issue":"5","key":"11_CR39","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, A.P. Ravn: A Calculus of Durations, Information Processing Letters, vol. 40, 5, pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn, H. Rischel: Duration Specifications for Shared Processors, pp. 21\u201332 in [38].","DOI":"10.1007\/3-540-55092-5_2"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn, M.R. Hansen. Extended Duration Calculus for Hybrid Real-Time Systems, pp. 36\u201359 in [16].","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["Lecture Notes in Computer Science","SOFSEM '95: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60609-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:59:22Z","timestamp":1640944762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60609-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606093","9783540484639"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/3-540-60609-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}