Gravar-mail: Using task knowledge to guide interactor specifications analysis