Zaslať SMS: Bezpečnostná analýza dynamického systému pomocou metódy SQMD