jMarkov package: a stochastic modeling tool. - Marco Cote; Germán Riaño; Raha Akhavan-Tabatabaei; Juan Fernando Pérez; Andrés Sarmiento; Julio Cesar Goez (SIGMETRICS Perform. Evaluation Rev., 2012)