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