Text this: Probabilistic modal {mu}-calculus with independent product