G. Masetti, B. Gallagher, B. R. Calder, C. Zhang, and M. Wilson, “Sound Speed Manager: An open-source application to manage sound speed profiles”, IHR, no. 17, May 2017.