Title: Model-Based Diagnosis in a Power Distribution Test-Bed