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