Determination of gas pressure in voids in epoxy casting using an ultrasonic measuring technique | IEEE Conference Publication | IEEE Xplore