Handbook of Finite State Based Models and Applications by Jiacun Wang