@article{66201,
  author       = {{Shi, Junjie and von Egidy, Christoph-Cordt and Chen, Kuan-Hsun and Chen, Jian-Jia}},
  issn         = {{0278-0070}},
  journal      = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
  number       = {{11}},
  pages        = {{4157--4168}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS}}},
  doi          = {{10.1109/tcad.2022.3197501}},
  volume       = {{41}},
  year         = {{2022}},
}