Αποστολή με SMS: Formal Methods for Open Object-Based Distributed Systems