Ivan Radojevic Zoran A. Salcic Partha S. Roop McCharts and Multiclock FSMs for modeling large scale systems. 3-12 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371257 db/conf/memocode/memocode2007.html#RadojevicSR07