Mike Gemunde, Jens Brandt, Klaus Schneider. A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 157-168, IEEE Computer Society, 2010. [doi]
Abstract is missing.