Describir: Schedulability Analysis of Mode Changes with Arbitrary Deadlines