An efficient RLTL model checker.