@InProceedings{Duran+12b,
  author    = {Francisco Duran and Steffen Zschaler},
  title     = {On the modularity and reusability of the rule-based specification of {QoS} properties of systems},
  booktitle = {Prelimiary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid \#TR-08/12}, 
  year      = 2012,
}