Jelínek I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytech [Internet]. 2003 Jan. 5 [cited 2025 Jun. 27];43(5). Available from: https://ojst.is.cvut.cz/ojs/index.php/ap/article/view/464