Safety in automation systems project This repository contains the slides for the project of the course "Safety in Automation Systems". The course was held at Politecnico di Milano in 2016/2017.