Modeling Discrete-Event Systems with GPenSIM An Introduction - Davidrajuh, Reggie; Davidrajuh, Reggie (Springer International Publishing : Imprint: Springer, 2018)