Soft Gripping: Specifying for Trustworthiness. | AMiner