Handbook of Finite State Based Models and Applications door Jiacun Wang