Leila Jemni Ben Ayed. Une approche formelle pour la spécification et la vérification des systèmes temps-réel. (A formal approach for the specification and the verification of real-time systems). PhD thesis, National Polytechnic Institute of Lorraine, Nancy, France, 2000. [doi]
Abstract is missing.