Transaction level modeling: flows and use models | IEEE Conference Publication | IEEE Xplore