Jun Sun 0001 Yang Liu 0003 Jin Song Dong Jun Pang PAT: Towards Flexible Verification under Fairness. 709-714 2009 CAV http://dx.doi.org/10.1007/978-3-642-02658-4_59 conf/cav/2009 db/conf/cav/cav2009.html#SunLDP09