Huang, Weiyuan (2001) Estelle verification of ATM available bit rate (ABR) control protocol. Other thesis, Concordia University.