A Formal Modeling for Component Behaviors Based on Event Track. - Zhongyu Chen; Jichang Zhang; Huaikou Miao; Zhenghu Guo (SOSE, 2010)