@inproceedings{WZH07,
  author    = {Bj\"orn Wachter and
               Lijun Zhang and
               Holger Hermanns},
  title     = {{P}robabilistic {M}odel {C}hecking {M}odulo {T}heories.},
  booktitle = {Fourth International Conference on the Quantitative Evaluation of Systems},
  year      = {2007}
}