Time Domain Modelling of a Wireless Power Transfer System using a Buck-Boost Converter for Voltage Regulation | IEEE Conference Publication | IEEE Xplore