Safety and liveness from a methodological point of view
scientific article; zbMATH DE number 4153863