A compositional interchange format for hybrid systems by