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