Leo Cacciari Omar Rafiq A temporal reachability analysis. 35-49 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#CacciariR95