Spanning the spectrum from safety to liveness
scientific article; zbMATH DE number 6992508
scientific article