Certification of Robot Cells