Tightened reachability constraints for the verification of linear hybrid systems
scientific article; zbMATH DE number 5569648