Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal]. Disponible