A Blocking-Aware Scheduling for Real-Time Task Synchronization Using a Leakage-Controlled Method. (13th February 2014)