@Unpublished{choreographerA,
  author =	 {S. Gilmore and V. Haenel and L. Kloul and M. Maidl},
  title =	 {Choreographing security and performance analysis for
                  Web services},
  note =	 {To appear in the proceedings of the 2nd
                  International Workshop on Web Services and Formal
                  Methods},
  editor =       {Mario Bravetti and Gianluigi Zavattaro},
  publisher =    {Springer-Verlag},
  series =       {LNCS},
  address =      {Versailles, France},
  month =	 sep,
  year =	 2005
}