Zhang, Da Qing (2001) Automatic code generation for real-time reactive systems in TROMLAB environment. Masters thesis, Concordia University.