1. Formal techniques for an ITSEC-E4 Secure Gateway;Bieber,1996
2. Bluetooth SIG, 2003. Bluetooth Core Specifications, version 1.1. Available from
3. Burguillo-Rial, J.C., Fernández-Iglesias, M.J., González-Castaño, F.J., Llamas-Nistal, M., 2002. Heuristic-driven test case selection from formal specifications. A case study. In: Proceedings of FME 2002. Lecture Notes in Computer Science, vol. 2391, pp. 436–448
4. Butler, R., Miller, S., Potts, J., Carreño, V.A., 1998. A formal methods approach to the analysis of mode confusion. In: Proceedings of the 17th AIAA/IEEE Digital Avionics Systems Conferefce
5. Cernuda, O., 2003. Vodafone restablece el servicio siete horas después de la averı́a que ha dejado incomunicados a sus clientes (Vodafone resumes normal service seven hours after a failure that kept its clients incommunicated). El Mundo del Siglo XXI/navegante.com (Spanish national newspaper), 20 February