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