Τεκμηρίωση που καθορίζει τους συντελεστές παραγωγής, προβλεπόμενη αποτελέσματα και ένα σύνολο συνθηκών εκτέλεσης για ένα στοιχείο ελέγχου.