Gunar Schirner Rainer Dömer Quantitative analysis of the speed/accuracy trade-off in transaction level modeling. 2008 8 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1457246.1457250 db/journals/tecs/tecs8.html#SchirnerD08