---
res:
  bibo_abstract:
  - 'We propose synchronous interfaces, a new interface theory for discrete-time systems.
    We use an application to time-triggered scheduling to drive the design choices
    for our formalism; in particular, additionally to deriving useful mathematical
    properties, we focus on providing a syntax which is adapted to natural high-level
    system modeling. As a result, we develop an interface model that relies on a guarded-command
    based language and is equipped with shared variables and explicit discrete-time
    clocks. We define all standard interface operations: compatibility checking, composition,
    refinement, and shared refinement. Apart from the synchronous interface model,
    the contribution of this paper is the establishment of a formal relation between
    interface theories and real-time scheduling, where we demonstrate a fully automatic
    framework for the incremental computation of time-triggered schedules.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Benoît
      foaf_name: Delahaye, Benoît
      foaf_surname: Delahaye
  - foaf_Person:
      foaf_givenName: Uli
      foaf_name: Fahrenberg, Uli
      foaf_surname: Fahrenberg
  - 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: Axel
      foaf_name: Legay, Axel
      foaf_surname: Legay
  - foaf_Person:
      foaf_givenName: Dejan
      foaf_name: Nickovic, Dejan
      foaf_surname: Nickovic
      foaf_workInfoHomepage: http://www.librecat.org/personId=41BCEE5C-F248-11E8-B48F-1D18A9856A87
  bibo_doi: 10.1007/978-3-642-30793-5_13
  bibo_volume: 7273
  dct_date: 2012^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Synchronous interface theories and time triggered scheduling@
...