Describir: Efficient Modeling of Hybrid Systems