| ETCt | Tool to computate the Expected Total Cost vector for a Continuous Time Markov Chain, CTMC. |
| LimDist | Tool to computate the limiting distribution for a Continuous Time Markov Chain, CTMC. |
| LRC | Tool to computate the Long-Run Cost Rate for a Continuous Time Markov Chain, CTMC. |
| Mt | Tool to computate the Occupancy Matrix for a Continuous Time Markov Chain, CTMC. |
| Pt2 | Tool to computate the transition matrix for a Continuous Time Markov Chain, CTMC. |
| PXt | Tool to computate the transient probability distribution for a Continuous Time Markov Chain, CTMC. |
| summary.modesto | summary.modesto |