1. A. Hall. Seven myths of formal methods. IEEE Software, 7(5):11–19 Sep/Oct, 1990
2. Department Of Defense Standard: Department Of Defense Trusted Computer System Evaluation Criteria (Aka. The Orange Book). DoD 5200.28-STD; Supersedes; CSC-STD-00 l-83, dtd l5 Aug 83; Library No. S225,7ll.
3. O. Wibling. Ad hoc routing protocol validation, Licentiate Thesis 2005-004, Department of Info Technology, Uppsala University, Sweden, 2005.
4. J. P. Bowen, and M. G. Hinchey. Seven more myths of formal methods. IEEE Software, 12(4):34–41, Jul, 1995.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.