M-DRTA: A Distributed Runtime Monitoring and Assurance Framework for Multi-vehicle Behavior Planning | IEEE Conference Publication | IEEE Xplore