E. Le-rest, J. L. Fleureau, and L. Marcé, PILOT: semantics and implementation of a language for telerobotics, IROS'97, 1997.

E. and L. Rest, PILOT: un langage pour la télérobotique, 1996.

J. Fleureau, Vers une méthodologie d'un système de programmation de télérobotique: comparaison des approches PILOT et GRAFCET, 1998.

. Abalain, Remote?Controlled Vehicle Using PILOT language, ANS'99, 1999.

L. , N. Tchamnda, and L. Marcé, Vers une programmation sûre avec PILOT, 2001.

V. Nicolas, Preuves de propriétés de classes de programmes par dérivation systématique de jeux de tests, pp.9-52, 1998.