Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen: Lock-free synchronization for dynamic embedded real-time systems. DATE 2006: 438-443