Project 1: Automated Manufacturing System
A control system for an extract from an industrial production cell will be analysed for hazards and formally specified by the participants, working in small teams.