Building modeling tools that support verification, validation, and testing for the domain expert | IEEE Conference Publication | IEEE Xplore