Control system for cancer therapy with a heavy ion beam at GSI | IEEE Conference Publication | IEEE Xplore