Maria Törö Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. 119-134 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#Toro97