publication venue for Application of a formal testing methodology to wireless telephony networks. 10:56-72. 2004 Application of a formal testing methodology to wireless telephony networks. 10:64-80. 2004