Heuristic search + local model checking in selective mu-calculus | IEEE Journals & Magazine | IEEE Xplore