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://ojs.cvut.cz/ojs/index.php/ap/article/view/464. Acesso em: 6 may. 2024.