Towards the formal representation of temporal aspects of Enemy/Threat Courses Of Action | IEEE Conference Publication | IEEE Xplore