Consider the description of the component Switch given as an extended state machine below. Give the initialization and reaction formulas corresponding to Switch. Obtain the transition formula for the corresponding transition system in as simplified form as possible. 8.