Filali, R. , Bouhdadi, M.. "Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B ". World Academy of Science, Engineering and Technology, Open Science Index 130, International Journal of Computer and Information Engineering (2017), 11(10), 1144 - 1148.