Email Record: Modeling discrete-event systems with GPenSIM