On the Application of Formal Methods for Specifying and Verifying Distributed Protocols