Thomas A. Henzinger Orna Kupferman Sriram K. Rajamani Fair Simulation. 64-81 2002 173 Inf. Comput. 1 http://www.idealibrary.com/links/doi/10.1006/inco.2001.3085 db/journals/iandc/iandc173.html#HenzingerKR02