Enviar por SMS: Návrh modelu testovania komunikačného subsystému bezpečnostne-kritických riadiacich systémov