A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.

Sanjai Narain, Orville Cockings, Ritu Chadha

Browse the full FORTE paper archive.