Modular Synthesis with Open Components Reachability Problems