@article{704,
  author = {Gabor Madl and Sherif Abdelwahed and Douglas Schmidt},
  title = {Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking},
  year = {2005},
  journal = {International Journal of Time-Critical Computing Systems},
  language = {eng},
}