Handbook of Finite State Based Models and Applications