{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:28Z","timestamp":1725664048987},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540588672"},{"type":"electronic","value":"9783540491330"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58867-1_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:52:28Z","timestamp":1330257148000},"page":"101-112","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Lustre"],"prefix":"10.1007","author":[{"given":"Leszek","family":"Holenderski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993, 1\u2013175.","DOI":"10.1007\/978-1-4757-2231-4_1"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, J. A. Plaice, Lustre: a declarative language for programming synchronous systems, Proc. of the 14th Symposium on Principle of Programming Languages, M\u00fcnchen, Sep. 1987, 178\u2013188.","DOI":"10.1145\/41625.41641"},{"issue":"9","key":"6_CR3","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud, The Synchronous Data Flow Programming Language Lustre, IEEE Special Issue on Real Time Programming, Proceedings of the IEEE, 79(9), Sep. 1991, 1305\u20131320.","journal-title":"Proceedings of the IEEE"},{"key":"6_CR4","unstructured":"N. Halbwachs, A Tutorial of Lustre, Lustre distribution, available by anonymous ftp from imag.imag.fr as file \/ftp\/pub\/LUSTRE\/tutorial.ps, Jan. 1993, 1\u201319"},{"issue":"9","key":"6_CR5","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"N. Halbwachs, F. Lagnier, C. Ratel, Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language Lustre, IEEE Trans. on Software Eng., 18(9), Sep. 1992, 785\u2013793.","journal-title":"IEEE Trans. on Software Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Development of Reactive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58867-1_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:12:15Z","timestamp":1578510735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58867-1_50"}},"subtitle":["A verified production cell controller"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540588672","9783540491330"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-58867-1_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}