Transaction level modeling tradeoff on accuracy and speed: A case study | IEEE Conference Publication | IEEE Xplore