CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems Submitted by Anonymous on Fri, 09/03/2021 - 12:49 Short Talk 2038903 CPS PI Meeting 2021 NSF