Text this: SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System