Bourduas, Stephan (2001) Generation of SDL specifications from UML and MSC use cases. Masters thesis, Concordia University.