Guided random-walk based model checking. - Hoai Thang Bui (2009)