Zhang, Lizhong (2000) Implementing real-time reactive systems from object-oriented design specifications. Masters thesis, Concordia University.