Safety and liveness from a methodological point of view - Dederichs, Frank; Weber, Rainer (1989)