HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction