Αποστολή με SMS: Using Event-B for Critical Device Software Systems