{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:43:23Z","timestamp":1745124203663,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426073"},{"type":"electronic","value":"9783540454168"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-45416-0_21","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:29:50Z","timestamp":1184959790000},"page":"215-226","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["About the Design of Distributed Control Systems: The Quasi-Synchronous Approach"],"prefix":"10.1007","author":[{"given":"Paul","family":"Caspi","sequence":"first","affiliation":[]},{"given":"Christine","family":"Mazuet","sequence":"additional","affiliation":[]},{"given":"Natacha Reynaud","family":"Paligot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"issue":"9","key":"21_CR1","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. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305\u20131320, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"J.L. Bergerand and E. Pilaud. SAGA: a software development environment for dependability in automatic control. In Safecomp\u201988. Pergamon Press, 1988.","DOI":"10.1016\/S1474-6670(17)54524-3"},{"key":"21_CR3","unstructured":"A. Billet and C. Esmenjaud. Software qualification: the experience of french manufacturers. International Conference on Control and Instrumentation in Nuclear Installations, INEC Cambridge, Great Britain, April 1995."},{"key":"21_CR4","unstructured":"J.-M. Palaric and A. Bou\u00e9. Advanced safety I&C system for nuclear power plants. In ENC\u201998 World Nuclear Congress, Nice, France, October 1997."},{"key":"21_CR5","unstructured":"D. Bri\u00e8re, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December, 1994. ERA Technology."},{"key":"21_CR6","unstructured":"A. Bou\u00e9 and G. Clerc. Nervia: a local network for safety. In IAEA Specialist Meeting on Communication and data transfer in Nuclear Power Plants (CEA\/EDF\/FRAMATOME editors), Lyon, France, April 1990."},{"issue":"9","key":"21_CR7","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous dataflow language Lustre. IEEE Trans. on Software Engineering, 18(9):785\u2013793, September 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"21_CR8","unstructured":"M. Ljung. Formal modelling and automatic verification of Lustre programs using NPTools. In Crisys deliverable n\u00b0CMA\/ 999909, October 1999."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"F. Maraninchi and Y. R\u00e9mond and Y. Raoul. MATOU: An Implementation of Mode-Automata into DC. In Proceedings of Compiler Construction, Berlin, Germany, 2000","DOI":"10.1007\/3-540-46423-9_17"},{"key":"21_CR10","unstructured":"P. Raymond, X. Nicollin, N. Halbwachs and D. Weber. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998."},{"key":"21_CR11","unstructured":"R. Gerlich. An Implementation and Verification Technique for Distributed systems. In: F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), Proceedings of the Summer School \u201cModelling and Verification of Parallel Processes (MOVEP\u20192k), Ecole Centrale de Nantes, June 2000, p. 285\u2013296."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Twente, June 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"21_CR13","unstructured":"Paul Caspi, Christine Mazuet, Rym Salem, and Daniel Weber. Formal Design of Distributed Control System with Lustre. In proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP\u201999), Toulouse, France, September 27-29, 1999."},{"key":"21_CR14","unstructured":"P. Caspi. The quasi-synchronous approach to Distributed Control Systems. Crisys deliverable n\u00b0CMA\/ 009931, May 2000."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"M. Yeddes and H. Alla. Checking Order-insensitivity using Ternary Simulation in Synchronous Programs. IEEE, ISPASS 2000, Austin (USA), pp.52\u201358, 24-25 April 2000.","DOI":"10.1109\/ISPASS.2000.842281"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"M. Yeddes, H. Ala, and R. David. On the Supervisory Synthesis for Distributed Control of Discrete Event Dynamic Systems with Communication Delays. In Proceedings of the 1999 IEEE ISIC, Massachusetts (USA), pp. 1\u20136, 1999.","DOI":"10.1109\/ISIC.1999.796620"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45416-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T20:51:25Z","timestamp":1737319885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"26 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}