Αποστολή με SMS: The Testability of Distributed Real-Time Systems