Real-time efficiency of Ada in a multiprocessor environment