Charasse, S. (2013). Outil de vérification in-situ pour le prototypage de systèmes électroniques [Master's thesis, École Polytechnique de Montréal]. Available