Ada 9X and real-time systems