ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees | IEEE Conference Publication | IEEE Xplore