@conference {3567,
	title = {Automatic Verification of Component-Based Real-Time CORBA Applications},
	booktitle = {the 25th IEEE International Real-Time Systems Symposium},
	year = {2004},
	month = {December},
	address = {Lisbon, Portugal},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ISIS_12_0_2004_Automatic_.pdf},
	author = {Madl, Gabor and Abdelwahed, Sherif and Karsai, Gabor}
}
