Reachability analysis of GSPDIs: theory, optimization, and implementation