@InProceedings{Rodrigues:words01,
  author =       "Rodrigues, J. and  Miranda, H. and  Ventura, J. and Rodrigues, L.",
  title =        "The design of RTAppia",
  booktitle =    "Proceedings of the Sixth IEEE International Workshop
on Object-oriented Real-Time Dependable Systems",
  month =        jan,
  publisher =    "IEEE",
  pages =        "261-268",
  address =      "Rome, Italy",
  year =         "2001",
}