JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytechnica, Prague, Czech Republic, 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: 22 jan. 2025.