A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. - Sanjai Narain; Orville Cockings; Ritu Chadha (FORTE, 1993)