Multi-agent architectures for high assurance systems | IEEE Conference Publication | IEEE Xplore