Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems | IEEE Conference Publication | IEEE Xplore