@article {4612,
	title = {Deliberative, search-based mitigation strategies for model-based software health management},
	journal = {Innovations in Systems and Software Engineering},
	year = {2013},
	pages = {1-26},
	publisher = {Springer London},
	keywords = {ARINC-653, Component-based software development, Deliberative reasoning, Software health management},
	issn = {1614-5046},
	doi = {10.1007/s11334-013-0215-x},
	url = {http://dx.doi.org/10.1007/s11334-013-0215-x},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Paper_11.pdf},
	author = {Mahadevan, Nagabhushan and Dubey, Abhishek and Balasubramanian, Daniel and Karsai, Gabor}
}
