A Parallel Implicit Method for the Steady-State Solution of CTMCs | IEEE Conference Publication | IEEE Xplore