Man, K. L. Timed Chi: Modeling, Simulation and Verification of Hardware Systems. Comput. Inform. 2012, 29, 901-928.