Amira Methni: Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle. (A method for designing critical software system coupled with a formal verification approach). Conservatoire national des arts et métiers, France 2016