QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems | IEEE Journals & Magazine | IEEE Xplore