Transaction level modeling in practice: Motivation and introduction | IEEE Conference Publication | IEEE Xplore