"ACTLW - An action-based computation tree logic with unless operator."

Robert Meolic, Tatjana Kapus, Zmago Brezocnik (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics