RapidSched: static scheduling and analysis for real-time CORBA | Publicación