Requirement completeness: Requirements are sufficient to distinguish the desired behavior of the software from that of any other undesired program that might be designed. .
Nancy Leveson (2011). “Engineering a Safer World: Systems Thinking Applied to Safety”, p.49, MIT Press
