This would have been a lot more compelling had they provided a single real-world example of STPA actually solving a reliability issue at Google.