Machine Safety Systems and Verification ...