HOSTOMSKÝ, S.; JELÍNEK, I. A Formal Design Method. Acta Polytechnica, [S. l.], v. 40, n. 3, 2000. DOI: 10.14311/82. Disponível em: https://ojst.is.cvut.cz/ojs/index.php/ap/article/view/82.. Acesso em: 27 jun. 2025.