System level modeling of smart power switches using SystemC-AMS for digital protection concept verification | IEEE Conference Publication | IEEE Xplore