Zheng, Tong (2004) Validation and refinement of timed MSC specifications. PhD thesis, Concordia University.