Estelle verification of ATM available bit rate (ABR) control protocol