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