Rajaa Filali and  Mohamed Bouhdadi,  Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B .   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    September 2017, vol. 130(10). 1144 - 1148
    [viewed 15 December 2019]. Available from: https://publications.waset.org/pdf/10008045.