Checking Emergency Stop Systems