Gainer, Hahn, Schewe, 2018. Incremental Verification of Parametric and Reconfigurable Markov Chains.