A Development Environment for Hard Real-Time Applications