##article.return## Lossless compaction of model execution traces Download Download PDF