@Article{Zschaler09,
  author  = {Steffen Zschaler},
  title   = {Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof},
  year    = 2009,
  journal = {Software and Systems Modelling (SoSyM)},
  note    = {available online-first from SpringerLink},
  publisher = {Springer},
  doi       = {10.1007/s10270-009-0115-6},
}