PAT: Towards flexible verification under fairness - Sun, J. (2013)
10.1007/978-3-642-02658-4_59