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