Αποστολή με SMS: Industrial used of formal method :