A. Prasad Sistla Xiaodong Wang Min Zhou Checking Extended CTL properties Using Guarded Quotient Structures. 87-94 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.10 db/conf/sefm/sefm2004.html#SistlaWZ04