@article{608,
  author = {Abhishek Dubey and Steven Nordstrom and Turker Keskinpala and Sandeep Neema and Ted Bapty and Gabor Karsai},
  title = {Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems},
  year = {2007},
  journal = {ISSE},
  volume = {3},
  pages = {33--52},
  language = {eng},
}