Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398