ülevaade sellest, mida tarkvara peab sisendeid ja piiranguid arvesse võttes tootma; selle täitmisega tagatakse EATMNi tarkvara turvaline ning kasutusvajadustele vastav toimimine, a description of what is to be produced by the software given the inputs and constraints, and if met, ensures that EATMN software performs safely and according to operational need