Kampke, T. 2012. Stochastic self-monitoring of autonomous systems. Computing and Informatics. 18, 4 (Mar. 2012), 341–359.