@Unpublished{choreographerB,
  author =	 {Mikael Buchholtz and Stephen Gilmore and Valentin
                  Haenel and Carlo Montangero},
  title =	 {End-to-end integrated security and performance
                  analysis on the {DEGAS} {Choreographer} platform},
  note =	 {To appear in the proceedings of Formal Methods 2005. 
                  Editors: John Fitzgerald, Ian Hayes and Andrzej Tarlecki},
  month =	 jan,
  year =	 2005
}