Control system for cancer therapy with a heavy ion beam at GSI | IEEE Journals & Magazine | IEEE Xplore