A Markovian model for maintenance of floating wind turbines considering degradation and random shocks . INGENIO26 2026, 1 (1).