Reference:

Javier Esparza and Andreas Gaiser. Probabilistic abstractions with arbitrary domains. Technical report, Technische Universität München, 2011. Available via arxiv.org (arXiv:1106.1364).

Suggested BibTeX entry:

@techreport{EG:sasTechRep,
    author = {Javier Esparza and Andreas Gaiser},
    institution = {Technische Universit{\"a}t M{\"u}nchen},
    note = {Available via arxiv.org ({\tt arXiv:1106.1364})},
    title = {Probabilistic abstractions with arbitrary domains},
    year = {2011}
}