Timed causal fanin analysis for symbolic simulation. - Kaivola, Roope; Kama, Neta Bar (Formal Methods in System Design, 2025)