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