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
Verification of a timed multitask system with UPPAAL, Proc. of 10 th IEEE ETFA, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00527736
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
???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
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
A user guide to HyTech, Proc. of TACAS, pp.41-71, 1995. ,
DOI : 10.1007/3-540-60630-0_3
Symbolic model checking, 1993. ,
Modeling programmable logic controllers for logic verification, IEEE Control Systems, vol.14, issue.2, pp.53-59, 1994. ,
DOI : 10.1109/37.272781
Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), 1998. ,
DOI : 10.1109/ACC.1998.694666