Model-Based Security Verification and Testing for Smart-cards. - Elizabeta Fourneret; Martín Ochoa; Fabrice Bouquet; Julien Botella; Jan Jürjens; Parvaneh Yousefi (ARES, 2011)