{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:44:34Z","timestamp":1725864274697},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662534427"},{"type":"electronic","value":"9783662534434"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53443-4_9","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:39:57Z","timestamp":1472816397000},"page":"81-90","source":"Crossref","is-referenced-by-count":3,"title":["PEARL f\u00fcr sicherheitsgerichtete Echtzeitprogrammierung"],"prefix":"10.1007","author":[{"given":"Marcel","family":"Schaible","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang A.","family":"Halang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"9_CR1","unstructured":"1. DIN 66 253-2: Programmiersprache PEARL 90. Berlin-K\u00f6ln: Beuth Verlag, 1998."},{"key":"9_CR2","unstructured":"2. W.A. Halang und M. Sniezek: Digitale Datenverarbeitungsanlage f\u00fcr sicherheitsgerichtete Automatisierungsaufgaben zur Ausf\u00fchrung als Funktions- und Ablaufpl\u00e4ne dargestellter Programme, Deutsches Patent Nr. 19841194, 1998."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"3. J. Hillebrand: Eine sicherheitsgerichtete Echtzeitprogrammiersprache f\u00fcr die Sicherheitsstufe SIL 3 gem\u00e4\u00df DIN EN 61508. In Industrie 4.0 und Echtzeit \u2013 Echtzeit 2014, W.A. Halang und H. Unger (Hrsg.), Reihe \u201eInformatik aktuell\u201c, pp. 21\u201330, Berlin-Heidelberg: Springer-Verlag 2014.","DOI":"10.1007\/978-3-662-45109-0_3"},{"key":"9_CR4","unstructured":"4. IEC 61508: Funktionale Sicherheit \u2013 Sicherheitssysteme. Teil 1: Allgemeine Anforderungen. Genf: Internationale Elektrotechnische Kommission, 1995."},{"key":"9_CR5","unstructured":"5. IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Genf: Internationale Elektrotechnische Kommission, 1992."},{"key":"9_CR6","unstructured":"6. H. Krebs und U. Haspel: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73\u201378, 1984."}],"container-title":["Informatik aktuell","Internet der Dinge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53443-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:49:01Z","timestamp":1568335741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53443-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534427","9783662534434"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53443-4_9","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2016]]}}}