Handbook of finite state based models and applications - Wang, Jiacun 1963- (CRC Press, 2013)