Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press. Last updated on 07/19/2023