Leo Cacciari Omar Rafiq On improving reduced reachability analysis. 137-152 1992 conf/forte/1992 FORTE db/conf/forte/forte1992.html#CacciariR92