Xiaomu Shi Jean-François Monin Frédéric Tuong Frédéric Blanqui First Steps towards the Certification of an ARM Simulator Using Compcert. 346-361 2011 CPP https://doi.org/10.1007/978-3-642-25379-9_25 conf/cpp/2011 db/conf/cpp/cpp2011.html#ShiMTB11