VENUS : un outil d'aide à la vérification des systèmes communicants. - Amelia Soriano Montes (1987)

Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants. - Amelia Soriano (STACS, 1988)

WUC: A System for Workflow Specification and Verification. - Dinarle Ortega; Amelia Soriano (ISAS-SCI (1), 2001)