K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, ESOP, pp.174-188
DOI : 10.1007/3-540-36575-3_13

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

X. An, E. Rutten, J. Diguet, N. L. Griguer, and A. Gamatié, Autonomic management of dynamically partially reconfigurable FPGA architectures using discrete control, 10th International Conference on Autonomic Computing (ICAC'2013), pp.59-63, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00852849

C. Bernardeschi, A. Fantechi, and L. Simoncini, Formally Verifying Fault Tolerant System Designs, The Computer Journal, vol.43, issue.3, pp.191-205, 2000.
DOI : 10.1093/comjnl/43.3.191

URL : http://comjnl.oxfordjournals.org/cgi/content/short/43/3/191

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1984.
DOI : 10.1007/3-540-15670-4_19

URL : https://hal.archives-ouvertes.fr/inria-00076230

G. Delaval, E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.1-34, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

E. Dumitrescu, A. Girault, and E. Rutten, Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis, WODES, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00419542

A. Girault and E. Rutten, Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis, Proc. Ninth Int. Workshop on Formal Methods for Industrial Critical Systems, 2004.
DOI : 10.1016/j.entcs.2004.08.059

URL : https://hal.archives-ouvertes.fr/hal-00375564

S. M. Gueye, N. De-palma, E. Rutten, A. Tchana, and D. Hagimont, Discrete control for ensuring consistency between multiple autonomic managers, Journal of Cloud Computing: Advances, Systems and Applications, p.16, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00914179

C. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

R. Jensen, DES controller synthesis and fault tolerant control-a survey of recent advances. The IT University of Copenhagen, 2003.

M. L. Borgne, H. Marchand, E. Rutten, and M. Samaan, Formal verification of Signal programs: Application to a power transformer station controller, Algebraic Methodology and Software Technology, pp.271-285, 1996.
DOI : 10.1007/BFb0014322

URL : https://hal.archives-ouvertes.fr/hal-00544301

H. Marchand, O. Boivineau, and S. Lafortune, Optimal control of discrete event systems under partial observation, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2335-2340, 2001.
DOI : 10.1109/CDC.2001.980609

URL : https://hal.archives-ouvertes.fr/inria-00526273

H. Marchand and M. Samaan, Incremental design of a power transformer station controller using a controller synthesis methodology. Software Engineering, IEEE Transactions on, vol.26, issue.8, pp.729-741, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546156

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

W. Sun, A. Girault, Z. Salcic, and A. Malik, libDGALS: A Library-based Approach to Design Dynamic GALS Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00996978