M.C. Piccirilli, F. Grasso, A. Luchetta, S. Manetti, A. Reatti "Simulation of Pulse Width Modulation DC-DC Converters Through Symbolic Analysis Techniques", Advances in Science, Technology and Engineering Systems Journal, vol. 6, no. 1, pp. 275-282 (2021).