A compressed-air operating mechanism (or oil circuit breakers | IEEE Journals & Magazine | IEEE Xplore