Un langage formel pour la conception, la spécification et la vérification d'interfaces homme-machine embarquées critiques. (A formal language for designing, specifying and verifying critical embedded human machine interfaces). - Vincent Lecrubier (2016)