Αποστολή με SMS: Formal methods for embedded distributed systems :