Some rewording and move to IEEEannot bib style