A theoretical limit for safety verification techniques with regular fix-point computations
scientific article; zbMATH DE number 5694992