Text this: QoS contract-aware reconfiguration of component architectures using e-graphs