@article{wilson_al arafat_baugh_yu_gu_2024, title={Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS}, ISBN={["979-8-3503-7803-0"]}, ISSN={["1936-9492"]}, DOI={10.1109/MEMOCODE63347.2024.00016}, journal={2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024}, publisher={ACM/IEEE}, author={Wilson, Kurt and Al Arafat, Abdullah and Baugh, John and Yu, Ruozhou and Gu, Zhishan}, year={2024}, pages={98–102} }