A Parallel Numerical Solver of CTMCs and Its Implementation on Multi-Core Processors