Requirement Progression in Problem Frames Applied to a Proton Therapy System | IEEE Conference Publication | IEEE Xplore