@misc{9890,
  author = {Richard Staehli and Frank Eliassen},
  title = {Compositional Quality of Service Semantics},
  year = {2004},
  journal = {Proceedings of Specification and Verifcation of Component Based Systems (SAVCBS04), Workshop at ACM SIGSOFT 2004},
  pages = {62-69},
  publisher = {Iowa State University},
}