Jelínek, I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytech 2003, 43.