Testing a digital library of technical manuals | IEEE Journals & Magazine | IEEE Xplore