Madl, G. ., Abdelwahed, S. ., & Schmidt, D. C. (2005). Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking. International Journal of Time-Critical Computing Systems.

Madl, G. ., Abdelwahed, S. ., & Karsai, G. . (2004). Automatic Verification of Component-Based Real-Time CORBA Applications. In the 25th IEEE International Real-Time Systems Symposium. Lisbon, Portugal. (Original work published 2024)

Abdelwahed, S. ., & Madl, G. . (2005). Model Based Analysis of Distributed Realtime Embedded System Composition. In ACM Conference on Embedded Software (EMSOFT ’05). Jersey City, New Jersey. (Original work published 2024)