The Case Studies are available as a single document.

ACME Car Hire Case Study v1.0.1
Automatic Line Switching v1.1
Course Registration (‘C-REG’) System v2.0.1
Expert System June 2022
Sizing software in a Machine Learning context v1.0
RestoSys v1.2
Rice Cooker v2.0.1
Industrial Automation Robot v1.0
Valve Control System v1.0.1
Web Advice Module v1.1.1