@phdthesis{Jou94,
title = {Etude d'un environnement de programmation et de v\'erification des syst\`emes r\'eactifs, multi-langages et multi-outils },
author = {Jourdan, Muriel},
month = {sep},
year = {1994},
school = {UJF},
team = {SYNC},
}