Michel Batteux: Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés. (Diagnosability and diagnosis of technological systems : tool-chain development for diagnosis system design of technological systems). University of Paris-Sud, Orsay, France 2011