Jelínek, I. “Modal Logic - a Tool for Design Process Formalisation”. Acta Polytechnica, vol. 43, no. 5, Jan. 2003, https://doi.org/10.14311/464.