@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)},
  pages     = {161--201},
  volume    = 9,
  issue     = 2,
  month     = apr,
  publisher = {Springer},
  doi       = {10.1007/s10270-009-0115-6},
}