MEOLIC, Robert, KAPUS, Tatjana and BREZOČNIK, Zmago, 2008, ACTLW - an action-based computation tree logic with unless operator. Information sciences [online]. 2008. [Accessed 21 January 2025]. Retrieved from: http://dx.doi.org/10.1016/j.ins.2007.10.023