INSE - Lectures 19 & 20 SE for Real-Time & SE for Concurrency Really these are two topics – but rather tangled together.
