Frank Dederichs Rainer Weber Safety and Liveness From a Methodological Point of View. 25-30 1990 36 Inf. Process. Lett. 1 db/journals/ipl/ipl36.html#DederichsW90