Symbolic Computation of Schedulability Regions using parametric timed automata