Automatic Synthesis of Large Telescopic Units Based on Near-Minimum Timed Supersetting