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)