Diletta Cacciagrano Flavio Corradini Catuscia Palamidessi Explicit fairness in testing semantics http://arxiv.org/abs/0904.2340 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0904-2340 2