Testing time-advances in logic analysis | IET Journals & Magazine | IEEE Xplore