All file names in the following refer to files in your LabExam directory. Your TA will tell you where this directory is.

For this lab examination, you must do the following:

1. Replicate the state diagram "micro.ps" directory using DOME.
2. Follow the instructions in the "Microwave.java" file in your lab exam directory. You do not need to modify anything below the comment that says you don't need to modify anything below it.
3. Complete the promela model "microwave.pr" in your lab directory. A state is missing from the model. Using the state diagram, fill it in. You will not need to modify the init function.
4. Create a LaTeX file that recreates "labexam.ps", filling it in with appropriate material from the previous steps.

When you are done, print your completed results and give them to your TA.