Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Rust, Heinrich (Springer Berlin Heidelberg : Imprint: Springer, 2005)