Using formal models to cross check an implementation. - Raquel Araújo de Oliveira; Sophie Dupuy-Chessa; Gaëlle Calvary; Daniele Dadolle (EICS, 2016)