Design and Implementation of a Simulation Framework for the ARM Embedded System. - Han Wan; Xiaopeng Gao; Libo Deng; Ting Yu (UKSim, 2008)