High Level Languages for Hard and Embedded Real-Time Systems