CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems Submitted by Jason Gigax on Tue, 01/17/2023 - 14:50 CNS-2038903 2022 CPS PI Meeting 2022