Model-based diagnosis of power-station control systems | IEEE Journals & Magazine | IEEE Xplore