Application de techniques de synthèse en ingénierie d’automatisation