A traffic light controller, which is an application of a time-triggered finite state machine is implemented in this lab. OrCAD is used for schematic capture.