A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL. The file type is application/pdf.
application/pdf
Marius Bozga, Susanne Graf, Laurent Mounier. "IF-2.0: A Validation Environment for Component-Based Real-Time Systems." Lecture Notes in Computer Science (2002) 343-348