@inproceedings{bibcite_623,
  author = {Abhishek Dubey and Steven Nordstrom and Turker Keskinpala and Sandeep Neema and Ted Bapty},
  title = {Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems},
  year = {2006},
  journal = {Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE{\textquoteright}06)},
  pages = {129--140},
  month = {March},
  address = {Potsdam, Germany},
  language = {eng},
}