Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie