Power converter analysis and design using symbolic modelling | IEEE Conference Publication | IEEE Xplore