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