IF-2.0: A Validation Environment for Component-Based Real-Time Systems.

Marius Bozga, Susanne Graf, Laurent Mounier

Browse the full CAV paper archive.