Automatic Verification of Component-Based Real-Time CORBA Applications
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl [email protected]@isis.vanderbilt.edu.