Zaslat SMS: Real-time systems and programming languages