Modeling, Verifying and Testing Mobility Protocol from SDL Language. - Francine Ngani Noudem; César Viho (SDL Forum, 2005)