k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms | IEEE Conference Publication | IEEE Xplore