Jelínek, I. “Modal Logic - a Tool for Design Process Formalisation”. Acta Polytechnica 43, no. 5 (January 5, 2003). Accessed June 27, 2025. https://ojst.is.cvut.cz/ojs/index.php/ap/article/view/464.