Construction de modèles formels de contrôleurs logiques pour le test de conformité