publications:
- title: "Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution"
  author:
  - name: "Hermann Härtig"
    link: "http://"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  - name: "Martin Pohlack"
    link: "http://"
  - name: "Ronald Aigner"
    link: "http://"
  - name: "Steffen Göbel"
    link: "http://"
  - name: "Christoph Pohl"
    link: "http://"
  - name: "Simone Röttger"
    link: "http://"
  year: "2007"
  month: "jan"
  doi: "10.1007/s11241-006-9002-1"
  tags:
  - "rule-based"
  - "software components"
  - "contracts"
  - "software component"
  - "software contracts"
  researchr: "https://researchr.org/publication/HaertigZschaler-07"
  cites: 0
  citedby: 0
  journal: "Real-Time Systems"
  volume: "35"
  number: "1"
  kind: "article"
  key: "HaertigZschaler-07"
- title: "Enforceable component-based realtime contracts"
  author:
  - name: "Hermann Härtig"
    link: "http://"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  - name: "Martin Pohlack"
    link: "http://"
  - name: "Ronald Aigner"
    link: "https://researchr.org/alias/ronald-aigner"
  - name: "Steffen Göbel"
    link: "https://researchr.org/alias/steffen-g%C3%B6bel"
  - name: "Christoph Pohl"
    link: "http://"
  - name: "Simone Röttger"
    link: "http://"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s11241-006-9002-1"
  links:
    doi: "http://dx.doi.org/10.1007/s11241-006-9002-1"
  tags:
  - "rule-based"
  - "contracts"
  researchr: "https://researchr.org/publication/HartigZPAGPR07"
  cites: 0
  citedby: 0
  journal: "Real-Time Systems"
  volume: "35"
  number: "1"
  pages: "1-31"
  kind: "article"
  key: "HartigZPAGPR07"