Reasoning about the temporal aspects of interacting agents | IEEE Conference Publication | IEEE Xplore