@techreport{benveniste:inria-00075115, TITLE = {{The Synchronous approach to reactive and real-time systems}}, AUTHOR = {Benveniste, Albert and Berry, G{\'e}rard}, URL = {https://inria.hal.science/inria-00075115}, TYPE = {Research Report}, NUMBER = {RR-1445}, INSTITUTION = {{INRIA}}, YEAR = {1991}, PDF = {https://inria.hal.science/inria-00075115/file/RR-1445.pdf}, HAL_ID = {inria-00075115}, HAL_VERSION = {v1}, }