Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression