Trace-driven system modeling | Synapse