Modeling the reliability of large thermal power plants in an integrated grid and market model | IEEE Conference Publication | IEEE Xplore