JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytechnica, [S. l.], v. 43, n. 5, 2003. DOI: 10.14311/464. Disponível em: https://ojst.is.cvut.cz/ojs/index.php/ap/article/view/464.. Acesso em: 12 may. 2025.