Course in embedded-systems Quantitative Formal Modeling and Worst-Case Performance Analysis (coursera.org) Also available on classcentral.com. By EIT Digital via Coursera ★ - 0 ratings