Automated distributed system testing: designing an RTI verification system | IEEE Conference Publication | IEEE Xplore