Wang, LiXin (2005) Time inconsistency analysis and correction for MSC-2000 specifications. Masters thesis, Concordia University.