Formal verification of LTE-UMTS and LTE–LTE handover procedures Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa (2017) Formal verification of LTE-UMTS and LTE–LTE handover procedures, In: COMPUTER STANDARDS & INTERFACES, pp. 92-106, ISSN: 0920-5489