Zobair, Md Hasan (2001) Modeling and formal verification of a telecom system block using MDGs. Masters thesis, Concordia University.