Least fixpoint approximations for reachability analysis | IEEE Conference Publication | IEEE Xplore