Synthesizing Constraints on Timing Bounds of Timed Automata -- GSPeeDI - A Verification