Identifying Undetectable Defects Using Equivalence Checking. - Lars Hedrich; Inga Abel; Jaafar Mejri; Vladimir A. Zivkovic (ITC, 2024)