Ulrich Ultes-Nitsche: Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. SOFSEM 2002: 279-288