Vak Embedded Real-Time Systems (IN4073)