Interchange semantics for hybrid system models