Xiang, Zhang (2004) Testing embedded real-time systems based on test purposes. Masters thesis, Concordia University.