Anotace Vývoj bezchybných komponentových systémů je velice obtížný úkol z důvodu
vysoké pravděpodobnosti konfliktů ve vzájemné interakci komponent, které jsou z principu …