Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami: Checking Accountability with a Prover. COMPSAC 2015: 83-88