Assessing the impact of a modeling tool and its support for verification and validation | IEEE Conference Publication | IEEE Xplore