Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals | Publicación