Refinemant verification of fair transition systems can contribute to PLTL model checking | IEEE Conference Publication | IEEE Xplore