Concurrent checking of clock signal correctnessCecilia MetraMichele Favalliet al.1998IEEE Design and Test of Computers