I. Jelínek, “Modal Logic - a Tool for Design Process Formalisation”, Acta Polytech, vol. 43, no. 5, Jan. 2003.