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.markbroyard.com/