McCharts and Multiclock FSMs for modeling large scale systems.

Ivan Radojevic, Zoran A. Salcic, Partha S. Roop

Browse the full MEMOCODE paper archive.