@inproceedings{MAK:04,
  author = {Gabor Madl and Sherif Abdelwahed and Gabor Karsai},
  title = {{Automatic Verification of Component-Based Real-Time CORBA Applications}},
  booktitle = {{Proceedings of the 25th IEEE International Real-Time Systems Symposium}},
  pages = {231--240},
  year = {2004},
  month = {December}
}