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