Edjard Mota Reasoning about the Temporal Aspects of Interacting Agents. 57-62 http://www.computer.org/proceedings/time/1107/11070057abs.htm 2001 TIME db/conf/time/time2001.html#Mota01