WRLqueue: A Lock-Free Queue For Embedded Real-Time System | IEEE Conference Publication | IEEE Xplore