Transaction level modeling in practice: Motivation and introduction. - Guido Stehr; Josef Eckmuuller (ICCAD, 2010)