Supporting Multiprocessor Resource Synchronization Protocols in RTEMS. - Junjie Shi; Jan Duy Thien Pham; Malte Münch; Jan Viktor Hafemeister; Jian-Jia Chen; Kuan-Hsun Chen (CoRR, 2021)