> KBSS
> STILL
> IDA
> AIC
Jelínek, I.
JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytechnica. 2003, 43(5), 3-7. ISSN 1210-2709.