Knowledge based system supporting for power system operation procedure on personal computers | IET Conference Publication | IEEE Xplore