Ewanchyna, Theodore J (1996) Techniques for specification and validation of complex protocols. Masters thesis, Concordia University.