Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen: Lock-free synchronization for dynamic embedded real-time systems. ACM Trans. Embed. Comput. Syst. 9(3): 23:1-23:28 (2010)