Modeling And Digital Control Of High Frequency Dc-Dc Power Converters