Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
J. Shi, C.-C. von Egidy, K.-H. Chen, J.-J. Chen, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (2022) 4157–4168.