Nantes Université
Research Project de la facultés de sciences et techniques de Nantes sur le sujet "Automatiser la production logicielle de contrôleurs d'automates".