Zhang, Xiao Jun (2004) Automatic generation of SDL specifications from timed MSCs. Masters thesis, Concordia University.