Jonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson. Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 347-356, IEEE Computer Society, 2001. [doi]
Abstract is missing.