Title: Model-aided diagnosis for high voltage circuit breakers