Modeling Discrete-Event Systems with GPenSIM - Davidrajuh, Reggie (Springer International Publishing, 2020)