International Real-Time Ada Workshop (10th 2000 Avila, Spain)