{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:36Z","timestamp":1761611076424,"version":"3.43.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1008697810328","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"163-187","source":"Crossref","is-referenced-by-count":16,"title":["The Synchronous Approach to Designing Reactive Systems"],"prefix":"10.1007","volume":"12","author":[{"given":"Axel","family":"Poign\u00e9","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Morley","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Maffe\u00efs","sequence":"additional","affiliation":[]},{"given":"Leszek","family":"Holenderski","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Budde","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"161913_CR1","unstructured":"A. Benveniste. Synchron: a project proposal. ERCIM News, 12:26, January 1993."},{"key":"161913_CR2","unstructured":"A. Benveniste. Synchronous languages provide safety in reactive system design. Control Engineering, 9:87\u201389, September 1994."},{"key":"161913_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry. Preemption in concurrent systems. In R. K. Shyamasundar, editor, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, pages 72\u201393. Springer-Verlag, December 1993.","DOI":"10.1007\/3-540-57529-4_44"},{"key":"161913_CR4","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. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"161913_CR5","unstructured":"R. K. Brayton et al. BLIF-MV: An interchange format for design verification and synthesis. Technical Report UCB\/ERL M91\/97, University of California, 1991."},{"key":"161913_CR6","doi-asserted-by":"crossref","unstructured":"R. K. Brayton et al. VIS: A system for verification and synthesis. In Proceedings of the 8th International Conference on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science. Springer-Verlag, pages 428\u2013432, 1996.","DOI":"10.1007\/3-540-61474-5_95"},{"key":"161913_CR7","unstructured":"R. Budde and K.-H. Sylla. Eingebettete Echtzeitsysteme. Objekt-Spektrum, 4:10\u201316, April 1995."},{"key":"161913_CR8","unstructured":"R. Budde and K.-H. Sylla. Objekt-orientierte Echtzeitanwendungen auf Grundlage perfekter Synchronisation. Objekt-Spektrum, 2:54\u201360, February 1995."},{"key":"161913_CR9","doi-asserted-by":"crossref","unstructured":"E. M. Clarke and E. A. Emerson. Design and verification of synchronizing skeletons using branching time temporal logic. In Logics of Programs Workshop, volume 131 of Lecture Notes in Computer Science. Springer-Verlag, pages 52\u201371, 1981.","DOI":"10.1007\/BFb0025774"},{"key":"161913_CR10","unstructured":"The common formats of synchronous languages: The declarative code DC. Deliverable of the Eureka Synchron project, October 1995. Available by ftp at ftp.imag.fr, pub\/SPECTRE\/LUSTRE\/DC.tar.gz."},{"key":"161913_CR11","unstructured":"D. D. Gajski, F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice-Hall, 1994."},{"key":"161913_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Dordrecht, 1993."},{"key":"161913_CR13","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proceedings of the IEEE, 79:1305\u20131321, September 1991.","DOI":"10.1109\/5.97300"},{"key":"161913_CR14","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 data-flow language Lustre. IEEE Transactions on Software Engineering, 18:785\u2013793, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"161913_CR15","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, June 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"161913_CR16","unstructured":"P. Hilfinger. A high-level language and silicon compiler for digital signal processing. In Proceedings of the Custom Integrated Circuits Conference, pages 213\u2013216, May 1985."},{"key":"161913_CR17","unstructured":"L. Holenderski. Production cell in Lustre. In Formal Development of Reactive Systems [23]."},{"key":"161913_CR18","unstructured":"Software for computers in the application of industrial safety-related systems. IEC Standard 1131, Part 3. International Electrotechnical Commission, 1994.."},{"key":"161913_CR19","doi-asserted-by":"crossref","unstructured":"L. J. Jagadeesan, C. Puchol, and J. E. von Olnhausen. A formal approach to reactive systems software: A telecommunications application in Esterel. Formal Methods in System Design, 8:123\u2013151, March 1996.","DOI":"10.1007\/BF00122418"},{"key":"161913_CR20","unstructured":"M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond. A multiparadigm language for reactive systems. In IEEE International Conference on Computer Languages (ICCL-V), Toulouse, France. IEEE Computer Society Press, 1994."},{"key":"161913_CR21","volume-title":"High-Level VLSI Synthesis","author":"D. Lanneer","year":"1991","unstructured":"D. Lanneer, S. Note, et al. Architectural synthesis for medium and high throughput processing with the New Cathedral environment. In R. Camposano and W. Wolf, editors, High-Level VLSI Synthesis. Kluwer Academic Publishers, Boston\/Dordrecht\/London, 1991."},{"key":"161913_CR22","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Le Guernic","year":"1991","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79:1321\u20131336, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"161913_CR23","doi-asserted-by":"crossref","unstructured":"C. Lewerentz and T. Linder. Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58867-1"},{"key":"161913_CR24","unstructured":"O. Maffe\u00efis and A. Poign\u00e9. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD 967, Forschungszentrum Informationstechnik GmbH, January 1996."},{"key":"161913_CR25","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/43.293952","volume":"13","author":"S. Malik","year":"1994","unstructured":"S. Malik. Analysis of cyclic combinational circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits, 13:950\u2013956, 1994.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits"},{"key":"161913_CR26","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In Proceedings of CONCUR, volume 630 of Lecture Notes in Computer Science. August 1992."},{"key":"161913_CR27","doi-asserted-by":"crossref","unstructured":"F. Maraninchi and N. Halbwachs. Compiling argos into boolean equations. In Formal Techniques for Real-Time and Fault-Tolerant Systems (FTRTFT'96), volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61648-9_35"},{"key":"161913_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. L. McMillan","year":"1993","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, MA, 1993."},{"key":"161913_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90059-Q","volume":"75","author":"R. Milner","year":"1990","unstructured":"R. Milner. Interpreting one concurrent calculus in another. Theoretical Computer Science, 75:3\u201313, 1990.","journal-title":"Theoretical Computer Science"},{"key":"161913_CR30","doi-asserted-by":"crossref","unstructured":"M. M\u00fcllerburg. Systematic testing: a means for validating reactive systems. Software Testing, Verification and Reliability, 163\u2013197, 1995.","DOI":"10.1002\/stvr.4370050304"},{"key":"161913_CR31","doi-asserted-by":"crossref","unstructured":"M. M\u00fcllerburg et al. Systematic testing and formal verification to validate reactive systems. Software Quality Journal, 4:287\u2013307, December 1995.","DOI":"10.1007\/BF00402649"},{"key":"161913_CR32","volume-title":"Discrete-Time Signal Processing","author":"A. V. Oppenheim","year":"1989","unstructured":"A. V. Oppenheim and R. W. Schafer. Discrete-Time Signal Processing. Prentice Hall, Eaglewood Cliffs, 1989."},{"key":"161913_CR33","unstructured":"A. Poign\u00e9. Specification of complex systems. ERCIM News, 16:33, February 1994. For up to date information"},{"key":"161913_CR34","unstructured":"A. Poign\u00e9 and L. Holenderski. Boolean automata for implementing Esterel. Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, December 1995."},{"key":"161913_CR35","doi-asserted-by":"crossref","unstructured":"T. R. Shiple, G. Berry, and H. Toutai. Constructive analysis of cyclic circuits. In Proceedings of the European Design and Testing Conference, IEEE Computer Society, pages 328\u2013333 Mar. 1996.","DOI":"10.1109\/EDTC.1996.494321"},{"key":"161913_CR36","doi-asserted-by":"crossref","unstructured":"G. St\u00e5lmarck and M. S\u00e4flund. Modelling and verifying systems and software in propositional logic. In Proceedings of SAFECOMP'90. IFAC, Pergamon Press, pages 31\u20136, 1990.","DOI":"10.1016\/B978-0-08-040953-5.50011-8"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008697810328.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008697810328\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008697810328.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:09:17Z","timestamp":1754366957000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008697810328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["161913"],"URL":"https:\/\/doi.org\/10.1023\/a:1008697810328","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}