Languages and tools for hybrid systems design | lit.salon