[Nov 24] Asssignment: In the bridge controller (series 02 slides), the car sensors are added at page 239 and onwards (see environment/controller diagram on p239 and p244). In PAT2, (1) complete the W-description including the sensors, (2) Develop a PAT2 specification of the controller, and (3) show that the System = Controller || Environment satisfies all the requirements (expressed in temporal logic). Submit your PAT2 file electronically. Due Date: December 8 noon. Submit a writtent copy in the course drop box.