Managing the production of technical manuals: Recent trends | IEEE Journals & Magazine | IEEE Xplore