A Formal Modeling for Component Behaviors Based on Event Track | IEEE Conference Publication | IEEE Xplore