Text this: Infinite-state Stochastic and Parameterized Systems