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