A GSM-MAP Protocol Experiment Using Passive Testing. - Marine Tabourier; Ana R. Cavalli; Melania Ionescu (World Congress on Formal Methods, 1999)

Validation of the GSM-map protocol. - Ana R. Cavalli; Melania Ionescu (Ann. des Télécommunications, 2000)