Zaslať SMS: Realizácia bezpečnostnej analýzy pomocou metódy SQMD pre dynamický systém pračky