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=10.1.1.102.2186

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