@conference {, title = {A Distributed Simplex Architecture for Multi-Agent Systems}, booktitle = {Proceedings of SETTA 2021, Symposium on Dependable Software Engineering}, year = {2021}, month = {11/2021}, author = {U. Mehmood and S. D. Stoller and R. Grosu and S. Roy and A. Damare and S. D. Smolka} }