Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. - Ishtiaq Ahmed Choudhry; Nazir Ahmad Zafar; Mohammed Al-Zahrani (COMPSAC Workshops, 2013)