Describir: Formal Verification of Hybrid Automotive Systems