Added the section on Specification By Example