Mathematical modeling of the high frequency behavior of vacuum interrupters and comparison with measured transients in power systems | IEEE Conference Publication | IEEE Xplore