Formal Methods Laboratory Romanian Academy FML Technical Report TR no . FML-1401 Printed : June 2014 Phase-Type Approximations for Non-Markovian Systems