Hybrid_automata loading ...