Diagnosis of dense-time systems using digital-clocks | IEEE Conference Publication | IEEE Xplore