{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:43:31Z","timestamp":1745124211618},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_34","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:11Z","timestamp":1269897191000},"page":"396-409","source":"Crossref","is-referenced-by-count":9,"title":["Forma Design of Distributed Control Systems with Lustre"],"prefix":"10.1007","author":[{"given":"Paul","family":"Caspi","sequence":"first","affiliation":[]},{"given":"Christine","family":"Mazuet","sequence":"additional","affiliation":[]},{"given":"Rym","family":"Salem","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"34_CR1","unstructured":"J. R. Abrial. The B-Book. Cambridge University Press, 1995."},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"S. Bensalem, P. Caspi, C. Parent-Vigouroux and C. Dumas. A methodology for proving control systems with Lustre and PVS. Proceedings of the 7 th Working Conference on Dependable Computing for Critical Applications (DCCA7), San Jose, January 1999.","DOI":"10.1109\/DCFTS.1999.814291"},{"issue":"9","key":"34_CR4","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270\u20131282, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"34_CR5","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":"34_CR6","volume-title":"International Conference on Control and Instrumentation in Nuclear Installations","author":"A. Billet","year":"1995","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":"34_CR7","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."},{"key":"34_CR8","unstructured":"D. Bri\u00e9re, 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."},{"issue":"9","key":"34_CR9","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"},{"issue":"9","key":"34_CR10","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":"34_CR11","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":"34_CR12","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":"34_CR13","series-title":"Lect Notes Comput Sci","volume-title":"23rd International Colloquium on Automata, Languages, and Programming (ICALP\u201996)","author":"P. Raymond","year":"1996","unstructured":"P. Raymond. Recognizing regular expressions by means of data flows networks. In 23rd International Colloquium on Automata, Languages, and Programming (ICALP\u201996), Paderborn, Germany. LNCS 1099, Springer Verlag, July 1996."},{"key":"34_CR14","doi-asserted-by":"crossref","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.","DOI":"10.1109\/REAL.1998.739746"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"M. S\u00e4flund and G. Stalmarck. Modelling and verifying systems and software in propositional logic. In Proceedings of 17th IFAC Safecomp, pp. 31\u201336, 1990.","DOI":"10.1016\/B978-0-08-040953-5.50011-8"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:53:52Z","timestamp":1558983232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}