Describir: The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems