---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Junjie
      foaf_name: Shi, Junjie
      foaf_surname: Shi
  - foaf_Person:
      foaf_givenName: Christoph-Cordt
      foaf_name: von Egidy, Christoph-Cordt
      foaf_surname: von Egidy
  - foaf_Person:
      foaf_givenName: Kuan-Hsun
      foaf_name: Chen, Kuan-Hsun
      foaf_surname: Chen
  - foaf_Person:
      foaf_givenName: Jian-Jia
      foaf_name: Chen, Jian-Jia
      foaf_surname: Chen
  bibo_doi: 10.1109/tcad.2022.3197501
  bibo_issue: '11'
  bibo_volume: 41
  dct_date: 2022^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0278-0070
  - http://id.crossref.org/issn/1937-4151
  dct_publisher: Institute of Electrical and Electronics Engineers (IEEE)@
  dct_title: 'Formal Verification of Resource Synchronization Protocol Implementations:
    A Case Study in RTEMS@'
...