@article {3549,
	title = {Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking},
	journal = {International Journal of Time-Critical Computing Systems},
	year = {2005},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Madl_G_0_0_2005_Verifying_.pdf},
	author = {Madl, Gabor and Abdelwahed, Sherif and Schmidt, Douglas C.}
}
