Title: Model-based reasoning for power system management using KATE and the SSM/PMAD