Tianzhou Chen Dimitrios N. Serpanos Walid Taha International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. IEEE 2009 ICESS http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5066608 db/conf/icess/icess2009.html