A logic of action, causality, and the temporal relations of events | IEEE Conference Publication | IEEE Xplore