G. Behrmann, J. Bengtsson, A. David, K. G. Larsen, P. Pettersson et al., UppaaL Implementation Secrets, 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, 2002.
DOI : 10.1007/3-540-45739-9_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9800

R. Benlorhfar, D. Annebicque, F. Gellot, and B. Riera, Robust filtering of PLC program for automated systems of production, 18th IFAC World Congress, 2011.
DOI : 10.3182/20110828-6-IT-1002.01995

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 1999.

R. Coupat, M. Meslay, M. Burette, B. Riera, A. Philippot et al., Standardization and safety control generation for SNCF systems engineer, 19th IFAC World Congress 2014 (IFAC WC), Cape Town, 2014.
DOI : 10.3182/20140824-6-ZA-1003.01973

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), p.33053310, 1998.
DOI : 10.1109/CDC.1998.758209

Y. Hietter, J. Roussel, and J. Lesage, Algebraic synthesis of dependable logic controllers 17th IFAC World Congress, pp.4132-4137, 2008.

I. International and . Standard, Programming languages for programmable logic controllers, CEI, pp.61131-61134, 2013.

P. Marangé, F. Gellot, and B. Riera, Remote Control of Automation Systems for DES Courses, IEEE Transactions on Industrial Electronics, vol.54, issue.6, pp.3103-3111, 2007.
DOI : 10.1109/TIE.2007.907021

G. Ramadge and W. M. Wonham, The control of discrete event systems, Proc. IEEE, Special issue on DEDSs, pp.81-98, 1989.
DOI : 10.1109/5.21072

B. Riera, P. Marangé, O. Nocent, A. Magalhaes, and B. Vigario, Complementary usage of real and virtual manufacturing systems for safe PLC training, 8th IFAC Symposium on Advances in Control Education (ACE09), 2009.
DOI : 10.3182/20091021-3-JP-2009.00018

B. Riera, R. Coupat, A. Philippot, F. Gellot, and D. Annebicque, Control design pattern based on safety logical constraints for manufacturing systems: application to a palletizer, IFAC WOrshop on DES (WODES'14), 2014.
DOI : 10.3182/20140514-3-FR-4046.00054

L. Tournier, Approximation of dynamical systems using s-systems theory, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.317-324, 2005.
DOI : 10.1145/1073884.1073928
URL : https://hal.archives-ouvertes.fr/hal-00004351