Virtual skin: a behavioral approach helps verification | IEEE Conference Publication | IEEE Xplore