Lukai Cai Daniel Gajski Transaction level modeling: an overview. 19-24 2003 conf/codes/2003 CODES+ISSS http://doi.acm.org/10.1145/944645.944651 db/conf/codes/codes2003.html#CaiG03