Heinrich Rust: Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Lecture Notes in Computer Science 3456, Springer 2005, ISBN 3-540-25576-1