Update on Wireless Avionics Intra- Communications (WAIC) ITU-R Update and Future Regulatory Considerations ICAO WG-F Meeting – Paris, France March 2011.
Darmstadt University of Technology- 1 - Sequential Verification by Symbolic Simulation Darmstadt University of Technology Dept. of Electrical and Computer.