Title: Progress on analysis of failure effects in digital control systems