A tool for mining discrete event simulation model | IEEE Conference Publication | IEEE Xplore