Use cases in an IV&V system reference model | IEEE Conference Publication | IEEE Xplore