@inproceedings{jin2013WSTL,
  title={Mining weighted requirements from closed-loop control models},
  author={Jin, Xiaoqing and Donz´e, Alexandre and Ciardo, Gianfranco},
  booktitle={Proceedings of the 6th Numerical Software Verification (NSV)},
  year={2013},
}