Cancer treatment planning: Formal methods to the rescue | IEEE Conference Publication | IEEE Xplore