Development of Critical Systems with UML/OCL and FoCaLiZe. - Messaoud Abbas; Fatima Haloua; Ammar Boucherit (MEDI Workshops, 2021)

Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe. - Fatima Haloua; Messaoud Abbas; Rachid Djerbi; Mohammed Mounir Bouhamed (PAIS, 2024)