Bhattacharya, N. (2010). Verification of software-hardware hybrid systems. (Rapport technique n° EPM-RT-2010-10). Disponible