Temporal Logics and Model Checking for Fairly Correct Systems | IEEE Conference Publication | IEEE Xplore