Études Models and Languages for Verification ... https://www.polymtl.ca/programmes/content/models-and-languages-verification