Virtual skin: a behavioral approach helps verification. - Benjamin Nicolle; Arnaud Legendre; Louis Ferrero; Leonhard Zastrow (BMAS, 2009)