what the system we are designing should do if it is to meet the requirements), and show . developers discard all attempts to document the requirements explicitly, . make true (e.g. “prevent access to unauthorized personnel”) and the domain . The flight computer failed to detect the touchdown, the pilot was unable to..