@conference {3651,
	title = {On the use of Graph Transformations in the Formal Specification of Computer-Based Systems},
	booktitle = {IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems},
	year = {2003},
	month = {April},
	pages = {19--27},
	address = {Huntsville, Alabama},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_4_9_2003_On_the_use.pdf},
	author = {Karsai, Gabor and Agrawal, Aditya and Shi, Feng and Sprinkle, Jonathan}
}
