Text this: Modelling and verification of the dynamics of an ocean current energy converter