Case study on the use of SDL for specifying an IETF micro mobility protocol.

Telemaco Melia Amardeo Sarma Rui L. Aguiar Dieter Hogrefe Case study on the use of SDL for specifying an IETF micro mobility protocol. 2006 conf/comsware/2006 COMSWARE db/conf/comsware/comsware2006.html#MeliaSAH06