A finite-state approach to event semantics | IEEE Conference Publication | IEEE Xplore