On termination and invariance for faulty channel machines - Bouyer, P; Markey, N; Ouaknine, J; Schnoebelen, P; Worrell, J (FORMAL ASPECTS OF COMPUTING, 2012)