@article {4379,
	title = {Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System},
	journal = {European Journal on Control},
	volume = {16},
	number = {6},
	year = {2010},
	pages = {609-623},
	author = {Riley, Derek and Koutsoukos, Xenofon and Kasandra Riley}
}
