Title: Handbook of Finite State Based Models and Applications