Handbook of finite state based models and applications (CRC Press, 2013)