Optimal Operation of a Tidal Lagoon as a Flexible Source of Electricity | IEEE Conference Publication | IEEE Xplore