Sara Houhou: Parameterised Verification from Formal Specifications of Information Systems. (Vérification paramétrée à partir des spécifications formelles des systèmes d'information). Sorbonne University, Paris, France 2021