@InProceedings{Latronico:2001:UML,
  author =       "Elizabeth Latronico and Philip Koopman",
  title =        "Representing Embedded System Sequence Diagrams as a
                  Formal Language",
  pages =        "302--316",
  booktitle =    "UML 2001 - The Unified Modeling Language. Modeling
                            Languages, Concepts, and Tools. 4th
                  International Conference, Toronto, Canada, October 2001,
                  Proceedings",
  editor =       "Martin Gogolla and Cris Kobryn",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2185",
  year =         "2001",
}