Formal specification and verification of a distributed fault localization, isolation and supply restoration algorithm.