An overview of CARAT: a computer assisted research and analysis tool | IEEE Conference Publication | IEEE Xplore