Formal Spacification and Use Case Generation for a Mobile Telephony System. - Randall Tuok; Luigi Logrippo (Comput. Networks, 1998)