Relationship between State Machine and Dynamic Behavior: Coherence among Events and Messages | IEEE Conference Publication | IEEE Xplore