@unpublished {55,
	title = {Verification of Stochastic Requirements in Supervised Plants},
	journal = {SE Report, TUE},
	number = {2012-420690 },
	year = {2012},
	month = {07/2012},
	type = {Master Thesis},
	author = {E.S. Estens Musa}
}