@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} }