Amelia Soriano Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants. 401-402 1988 conf/stacs/1988 STACS db/conf/stacs/stacs88.html#Soriano88 http://dx.doi.org/10.1007/BFb0035867