Simulation and formal specification of protocols for mobile radio networks-an integrated approach | IEEE Conference Publication | IEEE Xplore