A formal methodology for acquiring and representing expert knowledge | IEEE Journals & Magazine | IEEE Xplore