alternatives, and to verify them against requirements. The author describes two