added paper about simulation verification