@InProceedings{Apvrille:2001:UML,
  author =       "L. Apvrille and P. de Saqui-Sannes and C. Lohr and P.
                  S{\'e}nac and J.-P. Courtiat",
  title =        "A New {UML} Profile for Real-Time System Formal Design
                  and Validation",
  pages =        "287--301",
  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",
}