@article{218,
  keywords = {ARINC-653, Component-based software development, Deliberative reasoning, Software health management},
  author = {Nagabhushan Mahadevan and Abhishek Dubey and Daniel Balasubramanian and Gabor Karsai},
  title = {Deliberative, search-based mitigation strategies for model-based software health management},
  year = {2013},
  journal = {Innovations in Systems and Software Engineering},
  pages = {1-26},
  publisher = {Springer London},
}