{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:16Z","timestamp":1725487096555},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_1","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T14:01:14Z","timestamp":1183384874000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems"],"prefix":"10.1007","author":[{"given":"Jean-Louis","family":"Camus","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Le Sergent","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"D. Bri\u00e8re, D. Ribot, D Pilaud, JL Camus, \u201cMethods and specification tools for Airbus on-board systems\u201d in Avionics Conference and exhibition, London, December 1994, ERA Technology.","DOI":"10.1016\/0141-9331(96)89278-7"},{"key":"1_CR2","unstructured":"G Le Goff, \u201cUsing synchronous languages for interlocking\u201d, First International Conference on Computer Application in Transportation Systems, 1996."},{"issue":"9","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N Halbwachs, P Caspi, P Raymond and D Pilaud \u201cThe synchronous dataflow programming language Lustre\u201d. Proceedings of the IEEE, vol 79, n\u25cb9, pp 1305\u20131320, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"1_CR4","unstructured":"Modeling Reactive Systems With Statecharts:The Statemate Approach by David Harel and Michael Politi, McGraw Hill."},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G Berry and G Gonthier, \u201cThe Esterel synchronous programming language, design, semantics, implementation\u201d, Science of Computer Programming, Vol 19, No 2, pp87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"issue":"9","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P Le Guernic et al, Programming real-time applications with SIGNAL, another look at real time programming, special section of Proc. Of the IEEE, 79(9): 1321\u20131336, Sept 1991.","journal-title":"Proc. Of the IEEE"},{"key":"1_CR7","unstructured":"ITU-T Recommendation Z.100-Specification and Description Language (SDL)."},{"key":"1_CR8","unstructured":"Scheduling in SDL simulation. Application to Future Air Navigation Systems F. Boutet, G. Rieux, Y. Lejeune, E. Choveau, 2nd Workshop on SDL and MSC, Grenoble, France June, 26-28 2000."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"H. Kopetz and G. Gr\u00fcnsteidl. TTP A Protocol for Fault-Tolerant Real-Time Systems. COMPUTER, pages 14\u201323, January 1994.","DOI":"10.1109\/2.248873"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Paul Caspi et Al. Formal design of distributed control systems with Lustre. In Proc Safecomp\u2019Safecomp99, September 1999.","DOI":"10.1007\/3-540-48249-0_34"},{"key":"1_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","volume-title":"CONCUR\u201999, Concurrency Theory,10th Int Conf","author":"A. Benveniste","year":"1999","unstructured":"A Benveniste, B Caillaud, P Le Guernic, \u201cFrom Synchrony to Asynchrony\u201d, CONCUR\u201999, Concurrency Theory,10th Int Conf, Lecture notes in Computer Science, Vol 1664, pp162\u2013177, Springer Aug 1999."}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T16:32:40Z","timestamp":1683909160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}