Nicholas A. Allen, Clifford A. Shaffer, Layne T. Watson: Building modeling tools that support verification, validation, and testing for the domain expert. WSC 2005: 419-426