Insider Threat Simulation Through Ant Colonies and ProB. - Akram Idani; Aurélien Pepin; Mariem Triki (ABZ, 2025)