Formal Verification of a SONET Telecom System Block. - M. Hasan Zobair; Sofiène Tahar (ICFEM, 2002)