Heinrich Rust: Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. Abstract State Machines 2004: 218-233