The Verification and Validation of a Large-Scale System: Equipment TaaS as an Example | IEEE Conference Publication | IEEE Xplore