@article{MAS:06, author = {Gabor Madl and Sherif Abdelwahed and Douglas C. Schmidt}, title = {{Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking}}, journal = {{Real-Time Systems}}, volume = {33}, issue = {1--3}, pages = {77--100}, month = {Jul}, year = {2006} }