Infinite-State Stochastic & Parameterized Systems (Uppsala Dissertations from the Faculty of Science & Technology)