change listing name to Verification Procedure. italize tcomponents in the main text. fix the references to VP and to Figure.