How is the symbolic transformation approach different between Modia and ModelingToolkit for ODEs ? I would guess Modia probably uses the same method as Dymola b

How is the symbolic transformation approach different between Modia and ModelingToolkit for ODEs ? I would guess Modia probably uses the same method as Dymola but not sure if MTK has any specific advantages here. As of now, Modias DSL feels more familiar and less boilerplate-y to me (as a modelica dev) but I guess that's probably because they just focus on similar capability to Modelica unlike MTK which has a lot of expandability. With that being said, having a decent component library (like MSL) and a GUI (or preferably some auto diagram) to compose and browse through them would be the minimum needed to be able to beat Modelica in the acausal modeling space.