Formal Model In-The-Loop for Secure Industrial Control Networks. - Laurynas Ubys; Valeriu Nicolas Vancea; Tomas Kulik; Peter Gorm Larsen; Jalil Boudjadar; Diego F. Aranha (FACS, 2022)