publications:
- title: "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems"
  author:
  - name: "Abhishek Dubey"
    link: "http://w3.isis.vanderbilt.edu/dabhishe/"
  - name: "Steven Nordstrom"
    link: "https://researchr.org/alias/steven-nordstrom"
  - name: "Turker Keskinpala"
    link: "https://researchr.org/alias/turker-keskinpala"
  - name: "Sandeep Neema"
    link: "https://researchr.org/alias/sandeep-neema"
  - name: "Ted Bapty"
    link: "https://researchr.org/alias/ted-bapty"
  - name: "Gabor Karsai"
    link: "http://w3.isis.vanderbilt.edu/gabor/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s11334-006-0015-7"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-006-0015-7"
  researchr: "https://researchr.org/publication/DubeyNKNBK07"
  cites: 0
  citedby: 0
  journal: "isse"
  volume: "3"
  number: "1"
  pages: "33-52"
  kind: "article"
  key: "DubeyNKNBK07"