1. S. Momeni, F. Mahmood, VANET’s communication, in: Proceedings of the 10th International Symposium on Spread Spectrum Techniques and Applications, Aug. 25–28. IEEE Xplore Press, Bologna, Italy, (2008) 608–612, doi: 10.1109/ISSSTA.2008.115.
2. D. Camara, Formal verification of communication protocols for wireless networks. Federal University of Minas Gerais (2009).
3. D. Camara, A.A.F. Loureiro, F. Filali, Formal Verification of Routing Protocols for Wireless Ad Hoc Networks, in: I. Woungang, S.C. Misra (Eds.) Guide to Wireless Ad Hoc Networks, Springer, London, ISBN-10: 1848003279, 2009, pp. 189–210.
4. K. Anamaya, B.A. Sullerey, A. Jain, Formal verification of an ASIC ethernet switch block, in: Proceedings of the Formal Methods in ComputerAided Design, Oct, 20–23, IEEE Xplore Press, Lugano, 2010, pp. 13–20.
5. J.P. Bowen, M.G. Hinchey, Seven more myths of formal methods. IEEE Soft., 12 (1995) 34–41, doi: 10.1109/52.391826.