On the use of multiple fault detection times in a method for built-in test pattern generation for synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore