@InProceedings{Grunske08,
  author = {Lars Grunske},
  title = {Specification patterns for probabilistic quality properties},
  booktitle = {ICSE '08: Proceedings of the 30th international conference on Software engineering},
  year = 2008,
  isbn = {978-1-60558-079-1},
  pages = {31--40},
  location = {Leipzig, Germany},
  doi = {10.1145/1368088.1368094},
  publisher = {ACM},
  address = {New York, NY, USA},
}