Trace business rules and acceptance criteria to executable behavior, including adverse and recovery paths.
