Liu, Shi Hui (2003) Simulated validation of real-time reactive system with parameterized events. Masters thesis, Concordia University.