DESIGN VERIFICATION WITH E - PALNITKAR SAMIR (SINGAPORE PEARSON, 2005)