A procedure for power electronic converters design with controllability verification based on the nonlinear dynamical model | IEEE Conference Publication | IEEE Xplore