Lu, Jianping (1999) On the formal verification of ATM switches. Masters thesis, Concordia University.