@InProceedings{Shankar:2003:UML,
  author =       "Subash Shankar and Sinan Asa",
  title =        "Formal Semantics of {UML} with Real-Time Constructs",
  pages =        "60--75",
  booktitle =    "{UML} 2003 - The Unified Modeling Language. Model
                  Languages and Applications. 6th International Conference,
                  San Francisco, {CA}, {USA}, October 2003, Proceedings",
  editor =       "Perdita Stevens and Jon Whittle and Grady Booch",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2863",
  year =         "2003",
}