D. Singhal, M. Kunapareddy, V. Chetlapalli, V. B. James and N. Akhtar, “LTE-Advanced: Handover Interruption Time Analysis for IMT-A Evaluation,” Proceedings of International Conference on Signal Processing, Communication, Computing and Networking Technologies, Thuckafay, 21-22 July 2011, pp. 81-85. Hdoi:10.1109/ICSCCN.2011.6024519
 Z. Bai, C. Spiegel, G. H. Bruck, P. Jung, M. Horvat, J. Berkmann, C. Drewes and B. Gunzelmann, “System Performance of UTRA LTE and LTE-Advanced,” International Conference on Communications, Computing and Control Applications (CCCA), Hammamet, 3-5 March 2011, pp. 1-5.
 Y. Wang, K. I. Pedersen, P. E. Mogensen and T. B. S?rensen, “Resource Allocation Considerations for Multi-Carrier LTE-Advanced Systems Operating in Backward Compatible Mode,” IEEE 20th International Symposium on Personal, Indoor, and Mobile Radio Communications, Tokyo, 13-16 September 2009, pp. 370-374.
 N. A. Zafar, U. Tajammul and N. Sabir, “Formal Specification of Call Setup Procedure of UMTS Communications System,” Proceedings of International Conference on Communication Software and Networks (ICCSN09), Macau, 27-28 February 2009.
 N. A. Zafar and U. Tajammul, “Handover Based Formal Dynamic Model of UMTS Communication System,” Proceedings of 4th International Computer Engineering Conference, Cairo, 29-30 December 2008, pp. 1-6.
 S. Tariq and N. A. Zafar, “Modeling of Wireless Mobile Communication System Using Z Notation,” Proceedings of the 1st International Conference on Computer, Control and Communication (IC4), Karachi, 12-13 November 2007.
 S. Ahmed, A. K. Ramani and N. A. Zafar, “Formal Analysis of Mobility Management for Ad Hoc Networks,” Proceedings of the International Conference on Wireless Networks (ICWN’11), Las Vegas, 18-21 July 2011, pp. 173-179.
 S. Acharya, C. George and H. Mohanty, “Domain Consistency in Requirements Specification,” Proceedings of the 5th International Conference on Quality Software, Melbourne, 19-20 September 2005, pp. 231-238. Hdoi:10.1109/QSIC.2005.24
 R. Cam and S. Vuong, “A Formal Specification in LOTOS, of a Simplified Cellular Mobile Communication System,” Formal Description Techniques-II (FORTE’89), North- Holland Publishing Co., Amsterdam, 1990, pp. 485-499.
 I. A. Choudhry, N. A. Zafar and M. Zahrani, “Validating Statistics of Long Term Evolution Mobile Communications System,” Proceedings of the 2012 International Conference on Modeling, Simulation and Visualization Methods, Las Vegas, 16-19 July 2012, pp. 201-206.