Arabi, K. (1997). Conception pour la testabilité des systèmes biomédicaux implantables [Ph.D. thesis, École Polytechnique de Montréal]. Available