RapidSched: static scheduling and analysis for real-time CORBA | IEEE Conference Publication | IEEE Xplore