@INPROCEEDINGS{Saudrais07e,
  author = {Saudrais, Sébastien and Barais, Olivier and Duchien, Laurence and Plouzeau, Noel},
  title = { From formal specifications to QoS monitors},
  booktitle = {Journal of Object Technology, vol. 6, no. 11, Special Issue on Advances in Quality of Service Management},
  year = {2007},
  month = {December},
  pages = {7-24},
}