PUMP: a program understanding tool for MODSIM programs | IEEE Conference Publication | IEEE Xplore