Langage de nouvelle génération pour la modélisation et vérification formelle de systèmes asynchrones
Frédéric Lang (INRIA)