Efficient simulation of synchronous systems by multi-speed systemsTomasz Jurdziński, Mirosław Kutyłowski and Jan ZatopiańskiRAIRO-Theor. Inf. Appl., 39 2 (2005) 403-419DOI: https://doi.org/10.1051/ita:2005025