Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Rust, Heinrich (Springer-Verlag GmbH., 2005)