A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation

This work describes a case study applying formal methods to assess safety and security risks in automated manufacturing systems (AMSs). We explore the strengths and suitability of various methods for identifying, prioritizing, and mitigating AMS risks.