Y. Hadad, Z. Laslo, and A. Ben-Yair, “Safety improvements by eliminating hazardous combinations”, TEDE, vol. 13, no. 2, pp. 114-119, Jun. 2007.