---
res:
  bibo_abstract:
  - "Masaccio is a formal model for hybrid dynamical systems which are built from
    atomic discrete components (difference equations) and atomic continuous components
    (differential equations) by parallel and serial composition, arbitrarily nested.
    Each system component consists of an interface, which determines the possible
    ways of using the component, and a set of executions, which define the possible
    behaviors of the component in real time.\r\nVersion 1.0 (May 2000).\r\n@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  bibo_doi: 10.1007/3-540-44929-9_38
  bibo_volume: 1872
  dct_date: 2000^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/9783540678236
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'Masaccio: A formal model for embedded components@'
...