A high level real-time programming language