@inbook {4317,
	title = {Model-based Tools and Techniques for Real-Time System and Software Health Management},
	booktitle = {Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics},
	year = {2011},
	month = {to be published},
	publisher = {CRC Press},
	organization = {CRC Press},
	author = {Abdelwahed, Sherif and Dubey, Abhishek and Karsai, Gabor and Mahadevan, Nagabhushan}
}
