Invia SMS: Sintez diagnostirujemych schem vyčisliteľnych ustrojstv /