Radiation-tolerant delta-sigma time-to-digital converters. ([2015])