International Journal of Time-Critical Computing Systems

G. Madl, S. Abdelwahed, and D. Schmidt, “Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking,” International Journal of Time-Critical Computing Systems, invited paper, 2005.
download pdf