Envoyer par SMS: Realizácia bezpečnostnej analýzy pomocou metód THERP a SQMD pre dynamický systém pračky