T. Kampke, “Stochastic self-monitoring of autonomous systems”, Comput. Inform., vol. 18, no. 4, pp. 341–359, Mar. 2012.