Symbolic guided search for CTL model checking. - Bloem, Roderick; Ravi, Kavita; Somenzi, Fabio (2000)