{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:55Z","timestamp":1774332055179,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540619291","type":"print"},{"value":"9783540495666","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027247","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:46:29Z","timestamp":1132364789000},"page":"403-427","source":"Crossref","is-referenced-by-count":8,"title":["Refinement from a control problem to programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schenke","sequence":"first","affiliation":[]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"J. He, C. A. R. Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.-R. Olderog, M. Schenke, M. R. Hansen, A. P. Ravn, and H. Rischel. Provably correct systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 288\u2013335. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_171"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog and M. Schenke. Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. In J.Desel (ed.) Structures in Concurrency Theory, Workshops in Computing, pp. 32\u201354, 1995.","DOI":"10.1007\/978-1-4471-3078-9_3"},{"key":"20_CR3","unstructured":"A. P. Ravn. Design of Embedded Real-time Computing Systems, dr. techn. dissertation, Techn. Rep. ID-TR 1995-170, ID\/DTU, Lyngby, Denmark, October 1995."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"H. Rischel, J. Cuellar, S. M\u00d8rk, A. P. Ravn, and I. Wildgruber. Development of safety-critical real-time systems. In M. Bartosek, J. Staudek and J. Wiedermann, editors Proceedings of SOFTSEM'95, volume 1012 of LNCS, pages 206\u2013335. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60609-2_11"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"M. Schenke. Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. In: H. Langmaack, W.-P. de Roever, and J. Vytopil, Eds., Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 605\u2013621. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_186"},{"key":"20_CR6","unstructured":"M. Schenke, E.-R. Olderog. Design of Real-Time Systems: From Duration Calculus to Correct Programs. ProCoS Project Document [OLD MS 17\/2], Universit\u00e4t Oldenburg, 1995."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:30:38Z","timestamp":1586554238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619291","9783540495666"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0027247","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}