{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:09Z","timestamp":1725455889840},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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\/bfb0027235","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:46:29Z","timestamp":1132364789000},"page":"149-164","source":"Crossref","is-referenced-by-count":2,"title":["The Steam Boiler problem in Lustre"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Cattel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Duval","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"8_CR1","unstructured":"C. Lewerentz, T. Lindner (Eds.). Formal Development of Reactive Systems. Case Study Production Cell. Springer-Verlag, 1993."},{"key":"8_CR2","volume-title":"A Tutorial of Lustre","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs N., A Tutorial of Lustre, IMAG, Grenoble, 1993."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Halbwachs N., Synchronous programming of reactive systems, Kluwer Academic, 1993","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Halbwachs N., Lagnier F., Ratel C., Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IIE Trans. on Soft. Engin., Special issue on The Specification and Analusis of Real-Time Systems, September, 1992.","DOI":"10.1109\/32.159839"},{"key":"8_CR5","volume-title":"TR Spectre L12","author":"A. Bouajjani","year":"1990","unstructured":"Bouajjani A., Fernadez J.-C, Halbwachs N., On the verification of safety properties. TR Spectre L12, IMAG, Grenoble, 1990."},{"key":"8_CR6","unstructured":"Holzmann G.J., Design and Validation of Computer Protocols, 512 pgs, ISBN 0-13-539925-4, Publ. Prentice Hall, (c) 1991 AT&T Bell Laboratories."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Manna Z., Pnueli A., Temporal Verification of Reactive Systems: Safety, Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science B, Vol. 138, pp. 3\u201334. January 1995.","journal-title":"Theoretical Computer Science B"},{"key":"8_CR9","unstructured":"S. Bensalem, P. Caspi, C. Parent, Handling data-flow programs in PVS, http:\/\/ www.imag.fr\/VERIMAG\/PEOPLE\/Catherine.Parent, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:30:41Z","timestamp":1586554241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619291","9783540495666"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0027235","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}