Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover.

Jonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson

Browse the full DSN paper archive.