> KBSS
> STILL
> IDA
> AIC
Jelínek, I.
JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. In: NOVOSAD, J., ed. AED 2003. Praha, 2003-06-01/2003-06-04. Praha: Procesní inženýrství Ing. J. Novosad, 2003. p. 268-278. ISBN 80-86059-35-9.