A programming language used to build massively scalable soft real-time systems with requirements on high availability