We have been assured that Rodin and JSpin tools are now installed on the SEL Windows PCs. Please login before class and check that these tools are working. We will spend quite a few lectures working on the C slides (09W-6411-C-BridgeController.pdf available from the SVN link in the sidebar) and comparing it with a Spin model (using JSpin).