---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Yuhong
      foaf_name: Zhao, Yuhong
      foaf_surname: Zhao
  - foaf_Person:
      foaf_givenName: Franz-Josef
      foaf_name: Rammig, Franz-Josef
      foaf_surname: Rammig
  dct_date: 2012^xs_gYear
  dct_language: eng
  dct_publisher: ' IEEE Computer Society@'
  dct_title: Online Model Checking for Dependable Real-time Systems@
...