Wave and tidal generation devices : reliability and availability - Tavner, Peter J., 1946- (Institution of Engineering and Technology, 2017)