Carlos Rodriguez: Spécification et validation de systèmes en Xesar. (Specification and validation of systems in Xesar). Grenoble Institute of Technology, France 1988