Event models from policy descriptions | IEEE Conference Publication | IEEE Xplore