Kampke, T. Stochastic Self-Monitoring of Autonomous Systems. Comput. Inform. 2012, 18, 341-359.