Heinrich Rust A Non-standard Approach to Operational Semantics for Timed Systems. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:423-424 [Conf]
Heinrich Rust Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2004, pp:218-233 [Conf]
Heinrich Rust Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1998, pp:32-44 [Conf]