Man, K. L. (2010). Timed Chi: Modeling, Simulation and Verification of Hardware Systems. Computing and Informatics, 29(6), 901–928. https://cai.type.sk/content/2010/6/timed-chi-modeling,-simulation-and-verification-of-hardware-systems/