Near-Field Model for the Computation of Coverage Generated by an IRS: Formulation and Validation | IEEE Conference Publication | IEEE Xplore