Francesco Ranzato Francesco Tapparo Computing Stuttering Simulations http://arxiv.org/abs/0904.1488 2009 CoRR abs/0904.1488 db/journals/corr/corr0904.html#abs-0904-1488 informal publication