@InProceedings{Li:2000:APSEC,
  author =       "Xuandong Li and Johan Lilius",
  title =        "Checking Compositions of {UML} Sequence Diagrams for
                  Timing Inconsistency",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}