Ferhat Khendek Christophe Lohr Li Xin Wang Xiao Jun Zhang Tong Zheng Early Validation of Deployment and Scheduling Constraints for MSC Specifications. 106-121 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3319&spage=106 2004 conf/sam/2004 SAM db/conf/sam/sam2004.html#KhendekLWZZ04