Design of a Real-Time Micro-Winch Controller for Kite-Power Applications