ACM Transactions on Embedded Systems (TECS), vol. 12, no. 4, 2013-06
IEEE TRANSACTIONS ON COMPUTERS, vol. 61, no. 5, page. 622 - 635, 2012-05