Static analysis of inter-system handover | IET Conference Publication | IEEE Xplore