Using integer programming to verify general safety and liveness properties
scientific article; zbMATH DE number 741356
scientific article