Re-engineering a concurrency simulator. - Yakov Persky; Mordechai Ben-Ari (ITiCSE, 1998)