I will give thumbs up

3. Automobiles today have the features listed below. Implement each feature as a timed automaton. Draw the diagram, write the guard conditions clearly and show the transitions. The dome light is turned on as soon as any door is opened. It stays on for 30 seconds after all doors are shut. What sensors are needed? an extended state-machine model of the following addListener procedure