An Extension for MSC-2000 and Its Application. - Tong Zheng 002; Ferhat Khendek (SAM, 2002)

A Semantics for Timed MSC. - Tong Zheng 002; Ferhat Khendek; Loïc Hélouët (VISS@ETAPS, 2002)

Refining Timed MSCs. - Tong Zheng 002; Ferhat Khendek; Benoit Parreaux (SDL Forum, 2003)

Time consistency of MSC-2000 specifications. - Tong Zheng 002; Ferhat Khendek (Comput. Networks, 2003)

Early Validation of Deployment and Scheduling Constraints for MSC Specifications. - Ferhat Khendek; Christophe Lohr; Li Xin Wang; Xiao-Jun Zhang; Tong Zheng 002 (SAM, 2004)

Modeling and analysis of value added services using message sequence charts. - Ferhat Khendek; Tong Zheng 002 (J. Netw. Comput. Appl., 2008)