Published paper on use of testable architectures and modelling to address in design time and run time challenges in services oriented architectures