Tong Zheng Ferhat Khendek Time consistency of MSC-2000 specifications. 303-322 2003 42 Computer Networks 3 http://dx.doi.org/10.1016/S1389-1286(03)00245-7 db/journals/cn/cn42.html#ZhengK03