Draw or create a statechart (state machine, see Figures 5.16 & 5.17 in Sommerville 10th edition) model diagram for running the laser therapy machine. The process should require that patient identification and dosing information to be entered and verified, and after these are entered, the duration is checked to be within acceptable parameters, before running the correct laser beam to deliver the specified dose of light. The process should be able to be cancelled at any time. Assume that the therapy machine has "patient", "dosage", "start", and "reset" buttons. Patient and dosing information will be entered in dialog screens that each correspond to a single high-level state - the individual keystrokes are handled in sub-states that you don't have to show here. These dialogs have "ok" and "cancel" buttons. Label clearly each state and each transition, and describe any actions taken within a state using the "do:" notation.