@phdthesis{shen2013regulating, title={Regulating Self-Adaptive Multi-Agent Systems with Real-Time Interventions}, author={Shen, Wen}, year={2013}, school={Masdar Institute of Science and Technology} }