Zuan Zhang An approach to hierarchy model checking via evaluating CTL hierarchically. 45- 1995 conf/ats/1995 Asian Test Symposium http://csdl.computer.org/comp/proceedings/ats/1995/7129/00/71290045abs.htm db/conf/ats/ats1995.html#Zhang95