Text this: On a hierarchical approach to the verification and validation of communication protocols /