Reference:

Javier Esparza and Andreas Gaiser. Probabilistic abstractions with arbitrary domains. In Proceedings of the 18th International Static Analysis Symposium (SAS), volume 6887 of Lecture Notes in Computer Science, 2011.

Suggested BibTeX entry:

@inproceedings{EG:sas,
    author = {Javier Esparza and Andreas Gaiser},
    booktitle = {Proceedings of the 18th International Static Analysis Symposium (SAS)},
    series = {Lecture Notes in Computer Science},
    title = {Probabilistic Abstractions with Arbitrary Domains},
    volume = {6887},
    year = {2011}
}