{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:22Z","timestamp":1725486262516},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_15","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"196-208","source":"Crossref","is-referenced-by-count":2,"title":["Methods and Languages for Safety Related Real Time Programming"],"prefix":"10.1007","author":[{"given":"Wolfgang A.","family":"Halang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alceu Heinke","family":"Frigeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"15_CR1","unstructured":"Descartes, R.: Medidationes de prima philosophia, in quibus dei existentia et animae humanae a corpore distinctio demonstrantur. Paris, 1641."},{"key":"15_CR2","volume-title":"Programmiersprache PEARL 90","author":"DIN 66 253-2","year":"1998","unstructured":"DIN 66 253-2: Programmiersprache PEARL 90. Barlin-Cologne: Beuth Verlag, 1998."},{"key":"15_CR3","unstructured":"Halang, W.A., Frigeri, A.H., Lichtenecker, R., Steinmann, U. and Wendland, K.: Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt f\u00e4r Arbeitsschutz und Arbeitsmedizin. Bremerhaven: Verlag f\u00e4r neue Wissenschaft, 1998."},{"key":"15_CR4","unstructured":"Hatton, L.: Safer C: Developing for High-Integrity and Safety-Critical Systems.McGraw-Hill, 1995."},{"key":"15_CR5","volume-title":"Programmable Controllers, Part 3: Programming Languages","author":"IEC 1131-3","year":"1992","unstructured":"IEC 1131-3: Programmable Controllers, Part 3: Programming Languages. Geneva: International Electrotechnical Commission, 1992."},{"key":"15_CR6","volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Systems: Generic Aspects \u2014 Part 1: General Requirements","author":"IEC SC65A(Secretariat)123","year":"1992","unstructured":"IEC SC65A(Secretariat)123: Functional Safety of Electrical\/Electronic\/Programmable Electronic Systems: Generic Aspects \u2014 Part 1: General Requirements. Geneva: International Electrotechnical Commission, 1992."},{"key":"15_CR7","unstructured":"Joyce, J.J. and Seger, C.-J.H. (Eds.): Higher Order Logic Theorem Proving and Its Applications. Lecture Notes in Computer Science, Vol. 780. Berlin-Heidelberg-New York: Springer-Verlag, 1993."},{"key":"15_CR8","unstructured":"Krebs, H. and Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73 \u2013 78, 1984."}],"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-49646-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:43:38Z","timestamp":1550396618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}