Recent technology of size-reduction and large interrupting performance in development of gas circuit breakers | IEEE Conference Publication | IEEE Xplore