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://jalyttlers.shop/product-category/square-baker/