On-line validation of service oriented systems in the European Project TAS3 | IEEE Conference Publication | IEEE Xplore