Min-max event-triggered computation tree logic
scientific article; zbMATH DE number 1835899