Qin Zhao Bart Mesman Twan Basten Static resource models for code-size efficient embedded processors. 219-250 2003 2 ACM Trans. Embedded Comput. Syst. 2 http://doi.acm.org/10.1145/643470.643475 db/journals/tecs/tecs2.html#ZhaoMB03