Markus Olbrich Erich Barke Distribution arithmetic for stochastical analysis. 537-542 2008 ASP-DAC http://dx.doi.org/10.1109/ASPDAC.2008.4484009 conf/aspdac/2008 db/conf/aspdac/aspdac2008.html#OlbrichB08