Αποστολή με SMS: Modeling Discrete-Event Systems with GPenSIM