K. L. Man, “Timed Chi: Modeling, Simulation and Verification of Hardware Systems”, Comput. Inform., vol. 29, no. 6, pp. 901–928, Jan. 2012.