Supporting adaptable distributed systems with FORMAware | IEEE Conference Publication | IEEE Xplore