{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:16Z","timestamp":1725455896314},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619291"},{"type":"electronic","value":"9783540495666"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027237","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:46:29Z","timestamp":1132382789000},"page":"184-202","source":"Crossref","is-referenced-by-count":0,"title":["The real-time behavior of the steam-boiler"],"prefix":"10.1007","author":[{"given":"Jorge R.","family":"Cu\u00e9llar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isolde","family":"Wildgruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. A Solution relying on the Model Checking of Boolean Transition Systems. In The RPC-Memory Specification Problem, to appear in LNCS, 1996.","key":"10_CR1","DOI":"10.1007\/BFb0024431"},{"doi-asserted-by":"crossref","unstructured":"Mark H. Klein, John P. Lehoczky, and Ragunathan Rajkumar. Rate-Monotonic Analysis for Real-Time Industrial Computing. Computer, pages 24\u201333, January 1990.","key":"10_CR2","DOI":"10.1109\/2.248876"},{"doi-asserted-by":"crossref","unstructured":"Leslie Lamport. Hybrid Systems in TLA+. Eds. Grossman, Nerode, Ravn, Rischel, 736:77\u2013102, 1993.","key":"10_CR3","DOI":"10.1007\/3-540-57318-6_25"},{"issue":"3","key":"10_CR4","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Hans Rischel, Jorge Cu\u00e9llar, Simon M\u00d8rk, Anders P. Ravn, and Isolde Wildgruber. Development of Safety-Critical Real-Time Systems. In Proceedings of the SOFSEM '95, M.Bartosek, J.Staudek, J. Wiedermann (Eds), volume 1012 of LNCS, November 1995.","key":"10_CR5","DOI":"10.1007\/3-540-60609-2_11"},{"doi-asserted-by":"crossref","unstructured":"E. D. Sontag. Mathematical Control Theory. Springer, 1990.","key":"10_CR6","DOI":"10.1007\/978-1-4684-0374-9"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:30:48Z","timestamp":1586568648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027237"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619291","9783540495666"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0027237","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}