{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:24:25Z","timestamp":1755221065014,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1007959310351","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:13:40Z","timestamp":1040541220000},"page":"237-251","source":"Crossref","is-referenced-by-count":11,"title":["A Highly Dependable Computing Architecture for Safety-Critical Control Applications"],"prefix":"10.1007","volume":"13","author":[{"given":"Bernd J.","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"V\u00f6lker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"140960_CR1","volume-title":"Programmable Controllers. Part 3: Programming Languages","author":"IEC Draft International Standard 1131-3.","year":"1992","unstructured":"IEC Draft International Standard 1131-3. Programmable Controllers. Part 3: Programming Languages. International Electro-technical Commission, Geneva, 1992."},{"key":"140960_CR2","unstructured":"VDI\/VDE Richtlinie 3696. Herstellerneutrale Konfigurierung von Proze\u00dfleitsystemem. Technical report, D\u00fcsseldorf, 1993 (in German)."},{"key":"140960_CR3","series-title":"Technical Report","volume-title":"A Theorem Proving Abstraction of Model Checking","author":"R.M. Cardell-Oliver","year":"1995","unstructured":"R.M. Cardell-Oliver and C. Southon. A Theorem Proving Abstraction of Model Checking. Technical Report CSM-253, Department of Computer Science, University of Essex, England, 1995."},{"key":"140960_CR4","series-title":"Dagstuhl-Seminar-Report","volume-title":"High integrity programmable electronic systems","year":"1995","unstructured":"W.J. Cullyer, W.A. Halang, and B.J. Kr\u00e4mer (Eds.). High integrity programmable electronic systems. Dagstuhl-Seminar-Report 107, IBFI GmbH, Schlo\u00df Dagstuhl, D-66687 Wadern, Germany, 1995."},{"key":"140960_CR5","unstructured":"G. Egger, A. Fett, and P. Pepper. Formal specification of a safe PLC language and its compiler. Technical report, Daimler-Benz AG, 1994."},{"key":"140960_CR6","doi-asserted-by":"crossref","unstructured":"W.A. Halang, S.-K. Jung, B.J. Kr\u00e4mer, and J. Scheepstra. An Safety Licensable Computing Architecture. World Scientific, 1993.","DOI":"10.1142\/9789814354226"},{"issue":"4","key":"140960_CR7","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/52.219619","volume":"10","author":"W.A. Halang","year":"1993","unstructured":"W.A. Halang and A.D. Stoyenko. Extending PEARL for industrial real-time applications. IEEE Software, 10(4): 65\u201374, 1993.","journal-title":"IEEE Software"},{"issue":"1","key":"140960_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1049\/sej.1992.0006","volume":"7","author":"W.A. Halang","year":"1992","unstructured":"W.A. Halang and B.J. Kr\u00e4mer. Achieving high integrity of process control software by graphical design and formal verification. Software Engineering Journal, 7(1): 53\u201364, January 1992.","journal-title":"Software Engineering Journal"},{"key":"140960_CR9","doi-asserted-by":"crossref","unstructured":"W.A. Halang and B.J. Kr\u00e4mer. Safety assurance in process control. IEEE Software, Special issue on Safety-Critical Software: 61\u201367, January 1994.","DOI":"10.1109\/52.251211"},{"key":"140960_CR10","unstructured":"W.A. Halang, B.J. Kr\u00e4mer, and N. V\u00f6lker. Formally verified building blocks in functional logic diagrams for emergency shutdown system design. High Integrity Systems, 1995."},{"key":"140960_CR11","first-page":"354","volume":"I","author":"B.J. Kr\u00e4mer","year":"1994","unstructured":"B.J. Kr\u00e4mer and B. Dinler. Software process environment drives hardware synthesis. In P.A. Ng, F.G. Sobrinho, C.V. Ramamorthy, R.T. Yeh, and L.C. Seifert, editors, Systems Integration '94, volume I, pages 354\u2013361, Sao Paulo, Brazil, 1994. IEEE Computer Society Press.","journal-title":"Systems Integration '94"},{"key":"140960_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"140960_CR13","doi-asserted-by":"crossref","unstructured":"T.F. Melham. Higher Order Logic and Hardware Verification. Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511569845"},{"issue":"6","key":"140960_CR14","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/78973.78974","volume":"33","author":"D.L. Parnas","year":"1990","unstructured":"D.L. Parnas, J. van Schouwen, and S.P. Kwan. Evaluation of safety-critical software. Communications of the ACM, 33(6): 636\u2013648, 1990.","journal-title":"Communications of the ACM"},{"volume-title":"Internationale Sicherheitskriterien","year":"1993","key":"140960_CR15","unstructured":"H. Pohl and G. Weck (Eds.). Internationale Sicherheitskriterien, Oldenbourg Verlag, M\u00fcnchen,Wien, 1993 (in German)"},{"key":"140960_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-51635-2_37","volume-title":"ESEC '89 2nd European Software Engineering Conference","author":"J. Wordsworth","year":"1989","unstructured":"J. Wordsworth. Practical experience of formal specification: A programming interface for communications. In C. Ghezzi and J.A. McDermid, editors, ESEC '89 2nd European Software Engineering Conference, number 387 in Lecture Notes in Computer Science, pages 140\u2013158, Berlin, Heidelberg, New York, 1989. Springer Verlag."},{"key":"140960_CR17","volume-title":"\u00dcberpr\u00fcfung des Richtlinienentwurfs VDI\/VDE 3696 und Verifikation der darin definierten Funktionsbausteine","author":"G. Wulf","year":"1995","unstructured":"G. Wulf. \u00dcberpr\u00fcfung des Richtlinienentwurfs VDI\/VDE 3696 und Verifikation der darin definierten Funktionsbausteine. Diplomarbeit, Fern Universit\u00e4t, 1995 (in German)."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007959310351.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007959310351\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007959310351.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:09:05Z","timestamp":1754636945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007959310351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["140960"],"URL":"https:\/\/doi.org\/10.1023\/a:1007959310351","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}