Dependable Controller Design Using Polymorphic Counters | IEEE Conference Publication | IEEE Xplore