Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Heinrich Rust ((Lecture Notes in Computer Science))