Text this: Handbook of finite state based models and applications /