Yonit Kesten Amir Pnueli Li-on Raviv Elad Shahar Model Checking with Strong Fairness. 57-84 2006 28 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-4342-y db/journals/fmsd/fmsd28.html#KestenPRS06