Constraining cycle alternations in model checking for interval temporal logic
scientific article; zbMATH DE number 6609757