Souhrnná zpráva o průběhu prací na grantu č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v r. 1993