Supplementary Terms for Embedded Software Sample Contracts