Tool-supported specification of a wind turbine | IEEE Conference Publication | IEEE Xplore