Αποστολή με SMS: UML- B specification for proven embedded systems design /