Programming language for highly scalable real-time systems