@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}
}