Automatic test pattern generation for three state circuits door J.th. Van Der Linden