Formal Verification of Communication Protocols for Wireless Networks by Daniel Camara