Program Transformations for Precise Analysis of Enterprise Information Systems | IEEE Conference Publication | IEEE Xplore