Filali, R. , Bouhdadi, M. (2017). '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, 11(10), 1144 - 1148.