Testability of Switching Lattices in the Stuck at Fault Model