Souhrnná zpráva o průběhu a výsledcích řešení grantu Grantové agentury ČR č. 101/93/0430 Teorie a metody návrhu systémů se zvýšenou spolehlivostí v za r. 1994