Programming language for safety critical and real-time systems