Towards a framework for testing and simulating self adaptive systems | IEEE Conference Publication | IEEE Xplore