Event Structure Model for Interactive Markov Chains | IEEE Conference Publication | IEEE Xplore