Man, K.L. 2012. Timed Chi: Modeling, Simulation and Verification of Hardware Systems. Computing and Informatics. 29, 6 (Jan. 2012), 901–928.