Consider Solovay's Stationary Splitting Theorem: In $\operatorname{ZFC}$ every stationary subset $S$ of some cardinal $\kappa$ with uncountable cofinality can be partitioned into $\operatorname{cf}(\kappa)$ disjoint, stationary subsets.
His original proof relied on forcing, but later a more elementary proof was found which uses nothing more than clever, but basic, calculations.
My question: Is there also a "model theoretical" proof of this result in the style of Assaf Rinot's blogpost about c.c.c. forcing without combinatorics? I thought that I've once encountered such a proof, but so far wasn't able to find a reference or remember its main idea.