TDD using the Thoughtworks mars-rover problem