Tripathy, Priyadarshi (1992) A unified model for protocol test suite design. PhD thesis, Concordia University.