---
res:
  bibo_abstract:
  - The Hierarchical Timing Language (HTL) is a real-time coordination language for
    distributed control systems. HTL programs must be checked for well-formedness,
    race freedom, transmission safety (schedulability of inter-host communication),
    and time safety (schedulability of host computation). We present a modular abstract
    syntax and semantics for HTL, modular checks of well-formedness, race freedom,
    and transmission safety, and modular code distribution. Our contributions here
    complement previous results on HTL time safety and modular code generation. Modularity
    in HTL can be utilized in easy program composition as well as fast program analysis
    and code generation, but also in so-called runtime patching, where program components
    may be modified at runtime.@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
  - foaf_Person:
      foaf_givenName: Christoph
      foaf_name: Kirsch, Christoph
      foaf_surname: Kirsch
  - foaf_Person:
      foaf_givenName: Eduardo
      foaf_name: Marques, Eduardo
      foaf_surname: Marques
  - foaf_Person:
      foaf_givenName: Ana
      foaf_name: Sokolova, Ana
      foaf_surname: Sokolova
  bibo_doi: 10.1109/RTSS.2009.9
  dct_date: 2009^xs_gYear
  dct_identifier:
  - UT:000277465500016
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: Distributed, modular HTL@
...