Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties. most notably schedulability. through model checking. simulation or other means. https://www.alarecre.com/Wizarding-World-Harry-Potter-Scar-and-Glasses-iPhone-13-Pro-MagSafe-Case-p90262/