Quantization-based simulation of switched mode power supplies. (April 2015)