Αποστολή με SMS: Αυτόματος τυχαίος έλεγχος συστημάτων με εσωτερική κατάσταση βάσει μοντέλου