Αποστολή με SMS: Automatic Methods for the Refinement of System Models