2. Finite state machine creation [12 points] Specification: The program is an elevator simulation program. The program simulates an elevator in a building that has three floors: floor1, floor2, and floor3. The elevator has three buttons, labeled "button1", "button2", and "button3", which correspond to the floor that the elevator should go next. When the button for a floor is pressed, the elevator should go to that floor. The elevator simulator starts with the elevator on floor1 Note that for this problem, these three buttons are the only buttons (i.e., the only inputs), and we are only modeling the inside of the elevator, not the outside. 2a. [8 points] Draw the finite state machine to describe this elevator system. 2b. [4 points] Create a test suite that covers all transitions. Format example: test case 1: inputA, inputB test case 2: input , inputC)