Lecture 10 - SE for Realtime and Embedded Systems.pdf