R. Alur, The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

B. Mokadem, H. Bérard, B. Gourcuff, V. Roussel, J. et al., Verification of a timed multitask system with UPPAAL, Proc. of 10 th IEEE ETFA, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00527736

E. M. Clarke, E. A. Emerson, and A. P. Sistle, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

E. A. Emerson and J. Y. Halpern, ???Sometimes??? and ???not never??? revisited: on branching versus linear time temporal logic, Journal of the ACM, vol.33, issue.1, pp.151-178, 1986.
DOI : 10.1145/4904.4999

G. Frey and L. Litz, Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), 2000.
DOI : 10.1109/ICSMC.2000.884356

T. A. Henzinger, P. Ho, and H. Wong-toi, A user guide to HyTech, Proc. of TACAS, pp.41-71, 1995.
DOI : 10.1007/3-540-60630-0_3

M. Millan and K. L. , Symbolic model checking, 1993.

I. Moon, Modeling programmable logic controllers for logic verification, IEEE Control Systems, vol.14, issue.2, pp.53-59, 1994.
DOI : 10.1109/37.272781

M. Rausch and H. Krogh, Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), 1998.
DOI : 10.1109/ACC.1998.694666