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