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