Bande, M. , Ould-Slimane, H. , Boucheneb, H.. "A Formal Property Verification for Aspect-Oriented Programs in Software Development". World Academy of Science, Engineering and Technology, Open Science Index 141, International Journal of Computer and Systems Engineering, (2018), 12(9), 769 - 776.