Zheng, Mao (2002) Automated test generation from formal specifications of real-time reactive systems. PhD thesis, Concordia University.