Papers by Simon Bliudze:

Title: An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
Authors: Simon Bliudze and Sébastien Furic
Links: Abstract, Full paper