Dependable Controller Design Using Polymorphic Counters.

Richard Ruzicka

Browse the full DSD paper archive.