PILOT: semantics and implementation of a language for telerobotics, IROS'97, 1997. ,
PILOT: un langage pour la télérobotique, 1996. ,
Vers une méthodologie d'un système de programmation de télérobotique: comparaison des approches PILOT et GRAFCET, 1998. ,
Remote?Controlled Vehicle Using PILOT language, ANS'99, 1999. ,
Vers une programmation sûre avec PILOT, 2001. ,
Preuves de propriétés de classes de programmes par dérivation systématique de jeux de tests, pp.9-52, 1998. ,