En relation avec le sujet du cours

Real-Time Model Checking of Embedded Systems