Christiano H. Rezende, Gustavo S. Viana, João Carlos Basilio: A New Algorithm for Time-interval Diagnosability Verification. CDC 2025: 1253-1258