Haidar, Ghayath (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University.