A new approach to design of dependable control systems - Blanke, Mogens (Array, 1995)