IF-2.0: A Validation Environment for Component-Based Real-Time Systems [chapter]

Marius Bozga, Susanne Graf, Laurent Mounier
2002 Lecture Notes in Computer Science  
doi:10.1007/3-540-45657-0_26 fatcat:l7wh523icja6hgfavppspjpkae