Title: Specification for safety of machinery