A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification. - Chang-shin Chung; Moon-kun Lee; Myung-sun Jeong (APSEC, 1998)