Anca Muscholl, Helmut Seidl, Igor Walukiewicz: Reachability for dynamic parametric processes. CoRR abs/1609.05385 (2016)