Metamaude: tool for simulation and verification of CTMC models.