Real-time power system operational reliability tools - Kai Emerson Van Horn (2015)