@misc{BHJ+10e,
title = {{SimSoC-Cert: a Certified Simulator for Systems on Chip} },
author = {Blanqui, Fr\'ed\'eric and Helmstetter, Claude and Joloboff, Vania and Monin, Jean-Fran\c{c}ois and Shi, Xan},
month = {09},
year = {2010},
howpublished = {Draft},
team = {DCS,PACSS},
}
