Implicit-Explicit Finite Elements in Transient Analysis: Stability Theory | Synapse