Linked to Topics Covered in the Lectures

Real-Time Model Checking of Embedded Systems