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