"Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems" - читать интересную книгу автора (Heinrich Rust)