Phase-Shift Design and Channel Modeling for Focused Beams in IRS-Assisted FSO Systems | IEEE Journals & Magazine | IEEE Xplore