Abdalla, Mohamed Musa (1999) Automatic generation of SDL specifications from MSCs. Masters thesis, Concordia University.