@article{
author={Johann Schumann and Timmy Mbaya and Ole Mengshoel and Knot Pipatsrisawat and Ashok Srivastava and Arthur Choi and Adnan Darwiche},
year={2013},
issn={1614-5046},
journal={Innovations in Systems and Software Engineering},
volume={9},
number={4},
title={Software health management with {B}ayesian networks},
publisher={Springer London},
pages={271-292},
}