Jelínek, I. (2003). Modal Logic - a Tool for Design Process Formalisation. Acta Polytechnica, 43(5). https://doi.org/10.14311/464