Analysable Real-Time Systems: Programmed in Ada