{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:07:39Z","timestamp":1729631259571,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2001.981771","type":"proceedings-article","created":{"date-parts":[[2002,11,13]],"date-time":"2002-11-13T18:28:47Z","timestamp":1037212127000},"page":"133-142","source":"Crossref","is-referenced-by-count":7,"title":["Software implementation of synchronous programs"],"prefix":"10.1109","author":[{"given":"C.","family":"Andre","sequence":"first","affiliation":[]},{"given":"F.","family":"Boulanger","sequence":"additional","affiliation":[]},{"given":"A.","family":"Girault","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"1998","author":"berry","journal-title":"ESTEREL Team The ESTEREL-V5 Documentation","key":"ref10"},{"year":"1998","author":"boufa\u00efed","journal-title":"Machines d'exécution pour langages synchrones","key":"ref11"},{"year":"1993","author":"boulanger","journal-title":"Intégration de Modules Synchrones dans la Programmation par Objets","key":"ref12"},{"key":"ref13","article-title":"Methods and specifications tools for AIRBUS on-board systems","author":"bri\u00e8re","year":"1994","journal-title":"Avionics Conference and Exhibition"},{"key":"ref14","article-title":"SML: A high-level language for the design and verification of finite state machines","author":"browne","year":"1986","journal-title":"Int l Working Conf from HDL Descriptions to Guaranteed Correct Circuit Designs"},{"key":"ref15","first-page":"15","article-title":"Execution of distributed reactive systems","author":"caspi","year":"1995","journal-title":"International Conference on Parallel Processing EuroPar'95"},{"year":"1997","author":"edwards","journal-title":"The specification and execution of heterogeneous synchronous reactive systems","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/5.97300"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/0167-6423(87)90035-9"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"ref4","article-title":"Combining special purpose and general purpose languages in real-time programming","author":"andr\u00e9","year":"1998","journal-title":"Proceedings of the IEEE Workshop on Programming Languages for Real-time Industrial Applications"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/BF00383386"},{"key":"ref6","article-title":"SAGA: A software development environment for dependability in automatic control","author":"bergerand","year":"1988","journal-title":"SAFECOMP'88"},{"key":"ref5","article-title":"Using ESTEREL and formal methods to increase the confidence in the functional validation of a commercial DSP","author":"arditi","year":"1999","journal-title":"FMICS'08 Ercim Workshop on Formal Methods for Industrial Critical Systems"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/S0167-6423(99)00015-5"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","article-title":"The synchronous approach to reactive and real-time systems","volume":"79","author":"berry","year":"1991","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/EMWRT.1993.639108"},{"key":"ref1","article-title":"Representation and analysis of reactive behaviors: A synchronous approach","author":"andr\u00e9","year":"1996","journal-title":"CESA'96"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/0167-6423(92)90005-V"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/5.97301"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/MPCS.1994.367018"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/BFb0084815"}],"event":{"acronym":"CSD-01","name":"Second International Conference on Application of Concurrency to System Design. ACSD 2001","location":"Newcastle upon Tyne, UK"},"container-title":["Proceedings Second International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7716\/21150\/00981771.pdf?arnumber=981771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T11:01:06Z","timestamp":1497524466000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/981771\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/csd.2001.981771","relation":{},"subject":[]}}