Chen, Minghua (2002) The implementation of specification-based testing system for real-time reactive system in TROMLAB framework. Other thesis, Concordia University.