Stability analysis of a wind turbine tower using reachability properties of switched systems | Publicación