Real-time monitoring of the performance of marine seismic sources | IEEE Conference Publication | IEEE Xplore