Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 96–100.