Αποστολή με SMS: Formal Development of a Network-Centric RTOS