Simulation and formal specification of protocols for mobile radio networks-an integrated approach. - Eva Hedman; Simon Hoff (VTC, 1994)