Automatic test pattern generation for synchronous sequential circuits by M. Konijnenburg