{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:57:51Z","timestamp":1767931071185,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426073","type":"print"},{"value":"9783540454168","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45416-0_18","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:29:50Z","timestamp":1184959790000},"page":"176-189","source":"Crossref","is-referenced-by-count":25,"title":["Safety Patterns \u2014 The Key to Formal Specification of Safety Requirements"],"prefix":"10.1007","author":[{"given":"Friedemann","family":"Bitsch","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"key":"18_CR1","unstructured":"Bitsch, F.: Classification of Safety Requirements for Formal Verification of Software Models of Industrial Automation Systems, In Proceedings of 13th International Conference Software and Systems Engineering and Applications (ICSSEA) 2000, CNAM-Paris."},{"key":"18_CR2","series-title":"Verkehrstechnik\/Fahrzeugtechnik","first-page":"225","volume-title":"Fortschritt-Berichte VDI","author":"F. Bitsch","year":"2000","unstructured":"Bitsch, F., Canver, E., Moik, A.: Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode, Forms\u2019 99-Formale Techniken f\u00fcr die Eisenbahnsicherung, Hrsg. E. Schnieder, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik\/Fahrzeugtechnik, Nr.436, VDI Verlag GmbH, D\u00fcsseldorf 2000, S. 225\u2013245."},{"key":"18_CR3","unstructured":"Bitsch, F.: Formal Specification Patterns for Safety Requirements, http:\/\/www.ias.unistuttgart.de\/projekte\/patterns\/ , 2001."},{"key":"18_CR4","unstructured":"Canver, E.: Einsatz von Model-Checking zur Analyse von MSCs \u00fcber Statecharts, Ulmer Informatik Berichte, Nr. 99-04, Universit\u00e4t Ulm, 05\/1999."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Chan, W. et al.: Optimizing Symbolic Model Checking for Statecharts, IEEE Transactions on Software Engineering, Vol. 27, No. 2, February 2001.","DOI":"10.1109\/32.908961"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Damm, W.; Harel., D.: LSCs: Breathing Life into Message Sequence Charts, In FMOODS\u201999 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/192218.192226","volume":"3","author":"L.K. Dillon","year":"1994","unstructured":"Dillon, L.K., Moser, L.E. et al.: A graphical interval logic for specifying concurrent systems, ACM Transactions on Software Engineering and Methodology, 3(2): 131\u2013165, Apr. 1994.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR8","unstructured":"DIN VDE 31000 Teil 2, Begriffe der Sicherheitstechnik: Grundbegriffe."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett J.C.: Property Specification Patterns for Finite-state Verification, in the 2nd Workshop on Formal Methods in Software Practice, March, 1998.","DOI":"10.1145\/298595.298598"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., et al.: Patterns in Property Specification for Finite-state Verification, in Proceedings of the 21st International Conference on Software Engineering, May, 1999.","DOI":"10.1145\/302405.302672"},{"key":"18_CR11","first-page":"91","volume-title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","author":"S. Flake","year":"2000","unstructured":"Flake, S., M\u00fcller W. and Ruf J.: Structures English for Specification in Model Checking, in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 91\u2013100. GI\/ITG\/GMM Workshop, Frankfurt, March 2000."},{"key":"18_CR12","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E. et al.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Massachusetts, 1994."},{"key":"18_CR13","unstructured":"G\u00f6hner, P.: Spezifikation und Verifikation von sicheren Softwaresystemen, atp, pp. 24\u201331, 4\/1995."},{"key":"18_CR14","unstructured":"Grams, T.: Reliability and Safety, Table of Terms and Definitions, http:\/\/www.fh-fulda.de\/~fd9006\/Reliability\/R&S-Terms1.html ."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Heitmeyer, C.L.: Formal Methods for Developing High Assurance Computer Systems: Working Group Report, Proceedings, Second IEEE Workshop on Industrial-Strength Formal Techniques (WIFT\u201998), Boca Raton, FL, Oct. 19, 1998.","DOI":"10.21236\/ADA464973"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L.: SCR: A Practical Method for Requirements Specification; Proc., 17th AIAA\/IEEE\/SAE Digital Avionics System Conference (DASC), Bellevue, WA, Oct. 31-Nov. 7, 1998.","DOI":"10.1109\/DASC.1998.741500"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L.: On the Need for \u2018Practical\u2019 Formal Methods; Formal Techniques in Real-Time and Real-Time Fault-Tolerant Systems, Proc., 5th Intern. Symposium (FTRTFT\u201998), Lyngby, Denmark, September 14-18, 1998, LICS 1486, pp. 18\u201326.","DOI":"10.1007\/BFb0055332"},{"key":"18_CR18","unstructured":"Holt, A.: Formal verification with natural language specifications: guidelines, experiments and lessons so far, South African Computer Journal, No 24, November 1999, pp. 253\u2013257."},{"key":"18_CR19","volume-title":"Logic in Computer Science-Modelling and reasoning about systems","author":"M. Huth","year":"2000","unstructured":"Huth, M, Ryan, M.: Logic in Computer Science-Modelling and reasoning about systems, Cambridge University press, Cambridge, 2000."},{"issue":"3","key":"18_CR20","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. SRC Research Report 79, ACM Transactions on Programming Language and Systems 16(3): 872\u2013923, 05\/1994.","journal-title":"ACM Transactions on Programming Language and Systems"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125\u2013143, 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR22","volume-title":"Prozessautomatisierung","author":"R. Lauber","year":"1998","unstructured":"Lauber, R., G\u00f6hner, P.: Prozessautomatisierung 1, 3. Auflage, Springer Verlag, Berlin, Heidelberg, New York, 1998."},{"key":"18_CR23","volume-title":"Safeware-System, Safety and Computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware-System, Safety and Computers, Addison-Wesley Publishing Company, Massachusetts, Bonn, 1995."},{"key":"18_CR24","volume-title":"Of Acceptable Risk: Science and the Determination of Safety","author":"W.W. Lowrance","year":"1976","unstructured":"Lowrance, W.W.: Of Acceptable Risk: Science and the Determination of Safety, William Kaufmann, Inc., Los Altos, Clif., 1976."},{"key":"18_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems-Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems-Safety, Springer Verlag, NewYork, 1995."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Moser, L.E., et al.: The Real-Time Graphical Interval Logic Toolset, In Proceedings of the Conference on Computer-Aided Verification, New Brunswick, NJ, July\/August 1996.","DOI":"10.1007\/3-540-61474-5_99"},{"key":"18_CR27","unstructured":"McMillan, K.L.: The SMV system. Carnegie-Mellon University, Pittsburgh, PA, 2 February 1992. http:\/\/www.cs.cmu.edu\/~modelcheck\/smv\/smvmanual.r2.2.ps ."},{"key":"18_CR28","unstructured":"Progress Report of the DFG project SafeRail: Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgef\u00fchrten Verkehr, Project of the focus area program (1064) on the \u201cIntegration of Specification Techniques with Applications in Engineering\u201d, 03\/2000."},{"key":"18_CR29","volume-title":"Dependability of Critical Computer Systems","year":"1989","unstructured":"Redmill, F.J. (ed.): Dependability of Critical Computer Systems 2, Elsevier Applied Science, London and New York, 1989."},{"key":"18_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0053507","volume-title":"VISUAL\u201998","author":"R. Schl\u00f6r","year":"1998","unstructured":"Schl\u00f6r, R., Josko, B., Werth D.: Using a visual formalism for design verification in industrial environments, In VISUAL\u201998, Lecture Notes in Computer Science 1385, pages 208\u2013221. Springer-Verlag, Berlin, Heidelberg, 1998."},{"key":"18_CR31","first-page":"518","volume-title":"Proceedings, The European Conference on Design Automation","author":"R. Schl\u00f6r","year":"1993","unstructured":"Schl\u00f6r, R.; Damm, W.: Specification and verification of system-level hardware designs using timing diagrams, In Proceedings, The European Conference on Design Automation, IEEE Computer Society Press, pages 518\u2013524, Paris, France, 1993."},{"key":"18_CR32","unstructured":"Villa, T., Swamy, G., Shiple, T.: VIS User\u2019s Manual, The VIS Group, University of California, Berkeley."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45416-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:03:53Z","timestamp":1556708633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}