conf/time/2003, 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, TIME, 2003, http://dblp.uni-trier.de/db/conf/time/time2003.html, IEEE Computer Society, 0-7695-1912-1