Testing and verification through virtual product models: A survey and look ahead | IEEE Conference Publication | IEEE Xplore