Automating Cut-off for Multi-parameterized Systems. - Youssef Hanna; David Samuelson; Samik Basu 001; Hridesh Rajan (ICFEM, 2010)