A. Alonistioti G. Nikolaidis I. Modeas SDL-based modelling and design of IN/UMTS handover functionality. 19-34 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#AlonistiotiNM97